First-Order Equations · Superchallenge problem

Let $y$ solve $y'+y=\dfrac{1}{1+x^2}$ with $y(0)=1$. Its formula involves an integral with no elementary antiderivative. Find $\displaystyle\int_0^\infty y(x)\,dx$.