integral(sqrt(tanh(x)))