1/2+2 integral_0^infinity x/((x^2+1) (e^(2 pi x)-1)) dx