Verifying Trigonometric Identities Pt 2