Re: HSC 2018 MX2 Integration Marathon
I've reduced the integral to
\frac{1}{4038 \pi \log 2} \int_{0}^1 \frac{\tan^{-1}x}{1+x}\,dx
if someone else wants to finish it from this, but it seems very difficult.
Maybe a different approach might be necessary?