Trig identities part 2 (parr 4 if you watch the proofs)