Evaluate this integral? $$\int_{0}^{1}\left(\frac{\arctan(x)}{1+x\arctan(x)}\right)^2\mathrm dx$$
$y=\arctan(x)$
$\frac{dy}{dx}=\frac{1}{1+\tan^2(y)}$
$$\int_{0}^{\pi/4}\frac{y^2(1+\tan^2(y))}{(1+y\tan(y))^2}\mathrm dy$$
This looked transformation is far harder than the original one.
I checked on Wolfram integral, it returns a nice closed form of $\frac{4-\pi}{4+\pi}$ apparently. Is this result correct?