Xy 2x y 1 xy * x