Simplify `cosh ln(c + sqrt(c^2-1))` assuming that `c>=1`. f_nodes 10 assume c>=1 enda ban_comp cosh ln(c + sqrt(c^2-1)) =
end_of_answer next_URL http://math.tut.fi/mathcheck/simplify5.html
or
This file was generated 2017-07-16 02:29:39 UTC.