Power Reduction Formulas/Cosine to 5th

Theorem

 * $\cos^5 x = \dfrac {10 \cos x + 5 \cos 3 x + \cos 5 x} {16}$

where $\cos$ denotes cosine.