\int_1^{+\infty} \frac{\arctan x}{x^2 \sqrt{x^2-1}}\, dx= \frac{\pi}{2} +\frac{\pi}{2} - \frac{\pi\sqrt{2}}{2}=\left(1-\frac{\sqrt{2}}{2}\right)\pi