AASL 3.6 Trig identities