Half angle identities squared. This I was pondering about the different methods by ...