Proofs in Differential Calculus - arcosh(y) equals ln(y plus sqrt(y squared - 1))

In this video I prove that arcosh(y) = ln(y + sqrt(y squared - 1))