2*x1*y1 + 2*x2*y2 - 1;
3*x1*y1 + 6*x2*y2 - 2;
x1*y1 + x1*y2 + x2*y1 + x2*y2 - 1;
x1 + x2 - 1;
