Power Reduction Formulas/Hyperbolic Cosine Squared/Proof 1