Half angle identities. The sign of the two preceding functions depends o...