plot x^2+y^2>1 and x^2+(y-1)^2<1