\int_{0}^{\infty} (\ln(x)\arctan(x)/x)^2 dx