https://teachingfromhere.com/the-grandaddy-of-trig-identities/