xy 2 -1+y1+x2y2# +x1+x2y1#