sqrt( 1^2 + ( d (cosh x) / dx)^2 ) = cosh x