integral of cosh(x)/sinh(x) dx