Equations or proving trigonometric identities