Verify the identity:
sin(A + B)
sin( A B)
tan(-4) + tan(B)
tan(4) tan(B)

Answer:
Numerator:
Divide by cos A cos B:
Denominator:
Divide by cos A cos B:
Connect all bits together to get: