Verifying Trigonometric Identities Pt 1