y<=x<=sqrt(1-y^2)