When proving the results for inverse hyperbolics in term of natural logarithms (of which are given in the FB), let y = inverse hyperbolic (x) and therefore x = hyperbolic (y), then use the exponential definition and multiply by a variation of e^y to form a quadratic and solve.