Solution (source code)

= Solution

Differentiating the exponential definition gives $\boxed{(\cosh x)'=(e^x-e^{-x})/2=\sinh x}$.