[liu16]

In[2]:= tt = DSolve[D[y[x], x] == 1/(1 + x^2), y, x]

Out[2]= {{y -> Function[{x}, ArcTan[x] + C[1]]}}

In[3]:= y[x] /. tt

Out[3]= {ArcTan[x] + C[1]}