Verifying Trigonometric Identities Involving Sum & Difference