MATH 1060 - Verifying Trigonometric Identities