;

substituting in this equation yields

 which means that this logarithmic expression is indeed the inverse of the sinh function.