Verifying Trigonometry Identities