Verify Trig Identities