How do you verify the identity: sin(A+B) = (tanA+tanB)/(secA secB)?