Why Mathematica does not simplify sinh(arccosh(x))