[x^2--(y-1)^2=1,(y-1/2)*(y-1)=0]