-1<=sqrt(x-sqrt(y))<=1, x-sqrt(y)>=0, y>=0