I was able to do with the brute force way, that is, multiply everything out then use the identity: to reduce everything to:
My question is: is there a more elegant way to do this that doesn't take 5 YEARS.
Hmm that looks interesting
You got that from here: List of trigonometric identities - Wikipedia, the free encyclopedia
I was browsing that earlier and looked over it. Thank you sir!