Hyperbolic cosine integral: Introduction to the hyperbolic functions  (subsection Hyperbolics/04)