int_{0}^{inf} (e^(2 \pi x) - 1)/(e^(2 pi x) + 1) (1/x - x/(2^2 + x^2)) dx