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