Power Reduction Formulas/Hyperbolic Cosine to 4th/Proof 1