Trigonometric identities#Power-reduction formulae