simplifying trigonometric expressions using identities