Remix.run Logo
jmyeet 2 hours ago

I think "simplify" is pretty clear here. For trigonometric functions you would expect a trig function and an inverse trig function to be simplified. We all know what we'd expect if we saw sin(arcsin(x)) (ie x). If we saw cos(arcsin(x)) I'll spoil it for you: it simplifies to sqrt(1-x^2).

Hyperbolic functions aren't used as much but the same principle applies. Here the core identity is cosh^2(x) = sinh^2(x) = 1 so:

      sinh(arccosh(x))
    = sqrt(1 + cosh^2(arccosh(x))
    = sqrt(1 + x^2)
You should absolutely expect that from "simplify".