Half angle identities squared. That is, cos (45°-30°) = sqrt (1/2)× ...