1/2<=y<=1; -sqrt(1-y*y)<=x<=sqrt(1-y*y)