$$\int_0^{\infty}\frac{\arctan(2x)-\arctan(x)}{x }dx$$
I checked that the integral converges. Next, the only thing that seems to appear to me to do is arctan sum formula $$\int_0^{\infty}\frac{\arctan({x\over{1+2x^2}})}{x }dx$$ but then it's dead end. How do I proceed further?