Prosthaphaeresis Formulas/Hyperbolic Cosine plus Hyperbolic Cosine

Theorem

 * $\cosh x + \cosh y = 2 \map \cosh {\dfrac {x + y} 2} \map \cosh {\dfrac {x - y} 2}$

where $\cosh$ denotes hyperbolic cosine.