TrigReduce¶ Reduces a trig expression using sum-to-product identities. $ wo 'TrigReduce[Sin[x]^2]' (1 - Cos[2*x])/2