Dayv O. answered 10/31/21
Caring Super Enthusiastic Knowledgeable Calculus Tutor
correction adding x2 completes the square for the quadradic.
y=coshx
for inverse
x=[ey+e-y]/2 -- x≥1
2xey=e2y+1
e2y-2xey+x2=x2-1
(ey-x)2=x2-1
ey=x+/-√(x2-1)
here is a subtlety, if original domain is x≥0, then in inverse range y≥0
meaning ey≥1 and only x+√(x2-1) has values≥1
so y=cosh-1x=ln[x+√(x2-1)]
d(cosh-1(x))dx
is equal to two expressions so they are equal
d(cosh-1(x))dx=1/[sinh(cosh-1(x))]
and d(cosh-1(x))dx=[1/(x+√(x2-1)]*[1+x/√(x2-1)]
meaning
sinh((cosh-1(x))=(x+√(x2-1))/[1+x/√(x2-1)]
=√(x2-1)