F.TF.C.9.a: Use trigonometric identities to rewrite expressions and as a tool when solving trigonometric equations.