-1<=x+y<=1, -1<=x-y<=x+y