TR.ID.2: Verify trigonometric identities and simplify expressions using trigonometric identities.