Right. In my textbook, it says:
arsinh(x) = u
...
=> eu = x +/- √(x2 + 1)
But we ignore the negative root since:
√(x2 + 1) > x
=> eu < 0 , which is not possible
giving arsinh x = ln[x + √(x2 + 1)]
However, this is not the case for arcosh
arcosh(x) = u
...
=> eu = x +/- √(x2 - 1)
but √(x2 - 1) is not necessarily more than x
but the identity given for arcosh is:
arcosh = ln[x + √(x2 - 1)]
so, if we exclude the -ve root, will we not lose some answers?