(x+1)^2+(y+1)^2<=4 and y>0