x*y'=(1+y^2)*atan(y)