Ahmed integral revisited $\int_0^1 \frac{\tan ^{-1}\left(\sqrt{x^2+4}\right)}{\left(x^2+2\right) \sqrt{x^2+4}} \, dx$ How to prove
$$\small \int_0^1 \frac{\tan ^{-1}\left(\sqrt{x^2+4}\right)}{\left(x^2+2\right) \sqrt{x^2+4}} dx=-\frac{\pi \:\arctan \left(\frac{1}{\sqrt{2}}\right)}{8}+\frac{\arctan \left(\frac{1}{\sqrt{2}}\right)\arctan \left(\sqrt{2}\right)}{4}+\frac{\pi }{4}\arctan \left(\frac{1}{\sqrt{5}}\right)\;?$$
I came across this Ahmed integral on the site "Art of problem solving", and have found no proof so far. (These two problems seems to be related though). Any help will be appreciated!

Let 
$$ I(a)=\int_0^1 \frac{\arctan(a\sqrt{x^2+4})}{(x^2+2)\sqrt{x^2+4}}dx,I(0)=0,I=I(1)$$
\begin{align}
I'(a)&=\int_0^1 \frac{1}{(x^2+4)[1+a^2(x^2+4)]}dx \\
&=\int_0^1 \frac{1}{x^2+4}dx-a^2\int_0^1 \frac{1}{1+a^2(x^2+4)}dx \\
&=\frac{1}{2} \arctan \frac{1}{2}-\frac{a}{\sqrt{1+4a^2}}\arctan \frac{a}{\sqrt{1+4a^2}} \\
\end{align}
Note
$$ \int \frac{a}{\sqrt{1+4a^2}}\arctan \frac{a}{\sqrt{1+4a^2}} da $$
$$ =\frac{1}{4} \int \arctan \frac{a}{\sqrt{1+4a^2}} d(\sqrt{1+4a^2}) $$
Using integration by parts,then I believe you can finish it
