cosh(x)=2