Consider the convergent integral (I looked up difficult indefinite integrals on google images and then I saw this integrand and I was like hey let's see if it converges) $$I=\int_{1}^{\infty}\frac{x^2-1}{(x^2+1)\sqrt{x^4+1}}dx$$ We have the numerical approximation $$I\approx0.5553603672697931...$$ Which Wolfram alpha says is close to $\frac\pi{4\sqrt{2}}$. All my attempts at this integral have been fruitless and I need some help. Here's the only attempt of mine that actually made the integrand smaller:
$x=\tan u$: $$I=\int_{\pi/4}^{\pi/2}\frac{\tan^2u-1}{\sqrt{\tan^4u+1}}du$$ Next step:
bang head on floor in agony
Any suggestions?

Since $$x^4 + 1 = x^2 (x^2 + x^{-2}) = x^2 ((x + x^{-1})^2 - 2),$$ we have for $x > 0$
$$\frac{x^2-1}{(x^2+1)\sqrt{x^4 + 1}} = \frac{x^2 (1 - x^{-2})}{x^2 (x + x^{-1}) \sqrt{(x + x^{-1})^2 - 2}} = \frac{1-x^{-2}}{(x+x^{-1})\sqrt{(x+x^{-1})^2 - 2}}.$$ Now with the substitution $$u = x + x^{-1}, \quad du = (1 - x^{-2}) \, dx,$$ we obtain $$\int \frac{x^2-1}{(x^2+1)\sqrt{x^4 + 1}} \, dx = \int \frac{du}{u\sqrt{u^2-2}} = \frac{1}{2} \int \frac{2u \, du }{u^2 \sqrt{u^2 - 2}}.$$ One more substitution of the form $$u^2 = v^2 + 2, \quad 2u \, du = 2v \, dv$$ gives $$\frac{1}{2} \int \frac{2v \, dv}{(v^2 + 2)v} = \int \frac{dv}{v^2 + 2}.$$ This demonstrates that an elementary antiderivative exists, the computation of which I have left to you as a straightforward exercise.