Definition:Real Area Hyperbolic Cosine