Verifying Trigonometric Identities