Verifying Trigonometric Identities Pt2