Integrals I: Feynman's Trick · Superchallenge problem

Evaluate $\displaystyle\int_0^\infty \frac{\arctan(2x) - \arctan x}{x}\,dx$. Express your answer in terms of $\pi$ and $\ln 2$.