0<=y<=1/(sqrt(2)) and 0<=x<=sqrt(1-y^2)