### Another difficult exercise

Compute the limit $$\lim_{x \to +\infty} \left( \left(\log x \right)^2 - 2\int_0^x \frac{\log t}{\sqrt{t^2+1}}dt \right).$$

The answer is here, but it is a nightmare.