Hyperbolic cosine

[sunsided]

This adds the hyperbolic cosine function cosh. A taylor series expansion resulted in too much of a deviation, so I expressed it in the classical way in terms of the already existing exp function.