=-sin(a+π)cos(a-π/2)-tan(a-π/2)tan(-a)
=sinasina+tan(a-π/2)tana
=(sina)^2-cotatana
=(sina)^2-1
=-cos2^(a)