Power Reduction Formulas/Hyperbolic Cosine Cubed/Proof 1