cosh(x/2) = 2