TrigReduce[expr] rewrites products and powers of trigonometric functions in expr in terms of trigonometric functions with combined arguments.
TrigReduce operates on both circular and hyperbolic functions.
Given a trigonometric polynomial, TrigReduce typically yields a linear expression involving trigonometric functions with more complicated arguments.
See Section 1.4.5 and Section 3.3.7.
See also: TrigExpand, TrigFactor, TrigToExp, Simplify, FullSimplify.
New in Version 3.