c_1, c_2, x_1, x_2, x_3, x_4, 
-x_4*x_3
-4+4*x_4
1-x_4
-x_1*x_4-x_2*x_4+c_1
2*x_1*x_4-2*x_2*x_4+c_2
