AIHL 3.8.6 Trig identities