MathCheck Simplification Problem 4 / 6

Simplify `cosh ln(c + sqrt(c^2-1))` assuming that `c>=1`.

or

This file was generated 2017-07-16 02:29:39 UTC.