minimum cosh(x)^2 - sinh(x)