x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
500*x_1*x_2*x_6-7
100*x_4*x_6*x_8-1
25*x_1^2+25*x_3^2-2
50*x_2^2+50*x_9^2-37
10000*x_1*x_2*x_4*x_8-10000*x_1*x_4*x_7*x_9-10000*x_2*x_3*x_5*x_8+10000*x_3*x_5*x_7*x_9+81
25000*x_1*x_2*x_4^2*x_6+25000*x_1*x_2*x_6*x_8^2-25000*x_1*x_6*x_7*x_8*x_9-25000*x_2*x_3*x_4*x_5*x_6+39
10000*x_4^2+10000*x_5^2+10000*x_6^2+10000*x_7^2+10000*x_8^2-9401
1000000*x_4^2*x_6^2+1000000*x_4^2*x_7^2+1000000*x_4^2*x_8^2+1000000*x_5^2*x_7^2+1000000*x_5^2*x_8^2+1000000*x_6^2*x_8^2-38589
-40000*x_2^2*x_4^2-40000*x_2^2*x_5^2-40000*x_2^2*x_8^2+80000*x_2*x_7*x_8*x_9-40000*x_4^2*x_9^2-40000*x_5^2*x_9^2-40000*x_6^2*x_9^2-40000*x_7^2*x_9^2+27173
