J johndcook.com Why Mathematica does not simplify sinh(arccosh(x)) 144 points ibobev 7 months ago 59 comments