Solution (source code)

= Solution

The <hyperbolic cosine> and <hyperbolic sine> are defined by $\boxed{\cosh x=(e^x+e^{-x})/2,\quad\sinh x=(e^x-e^{-x})/2}$. Their quotient is $\tanh x=\sinh x/\cosh x$.