cosh(pi*x) = √2