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