integral of tanh(pi x)/x