Power Reduction Formulas/Hyperbolic Cosine Cubed/Proof 2