Factorization (also called transformation) formulae convert a SUM or DIFFERENCE of two sines or cosines into a PRODUCT, and, conversely, convert a PRODUCT of two sines/cosines into a sum or difference. Substituting A=2C+D, B=2C−D into the four compound-angle identities gives sinC+sinD=2sin2C+Dcos2C−D, sinC−sinD=2cos2C+Dsin2C−D, cosC+cosD=2cos2C+Dcos2C−D and cosC−cosD=−2sin2C+Dsin2C−D. Reading the same four identities the other way around gives the product-to-sum forms 2sinAcosB=sin(A+B)+sin(A−B), 2cosAsinB=sin(A+B)−sin(A−B), 2cosAcosB=cos(A+B)+cos(A−B) and 2sinAsinB=cos(A−B)−cos(A+B). These are the standard tool whenever a proof needs to CANCEL or TELESCOPE terms that a plain expansion cannot, for example reducing a four-term sum of cosines at unrelated-looking angles to a single value, or turning a ratio of sums into a ratio of a single sine/cosine pair that simplifies to a tangent or cotangent.