cosh(x)+tanh(x)=3