[y=x,((x-2)^2-4-y)*(2-(y+4)^2-x)=0]