cosh(x)^2-sinh(x)^2==1