All Rules For Verifying Trig Identities