Definition:Real Hyperbolic Cosine