Verifying Trigonometric Identities Pt3