(1+y2) dx