MathCheck Simplification Problem 3 / 6

Simplify `sinh ln(c + sqrt(c^2+1))`.

or

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