x_1, x_10, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
x_4*(x_5^2*x_6^2*x_7^2*x_8+x_5^2*x_6^2*x_7^2*x_9+x_5^2*x_6^2*x_7*x_8^2+2*x_5^2*x_6^2*x_7*x_8*x_9+x_5^2*x_6^2*x_7*x_9^2+x_5^2*x_6^2*x_8^2*x_9+x_5^2*x_6^2*x_8*x_9^2+x_2*x_7)
x_4^2*(2*x_5^2*x_6^2*x_7*x_8+2*x_5^2*x_6^2*x_7*x_9+x_5^2*x_6^2*x_8^2+2*x_5^2*x_6^2*x_8*x_9+x_5^2*x_6^2*x_9^2+x_2)
x_5*(x_4^2*x_6^2*x_7^2*x_8+x_4^2*x_6^2*x_7^2*x_9+x_4^2*x_6^2*x_7*x_8^2+2*x_4^2*x_6^2*x_7*x_8*x_9+x_4^2*x_6^2*x_7*x_9^2+x_4^2*x_6^2*x_8^2*x_9+x_4^2*x_6^2*x_8*x_9^2+x_1*x_9)
x_5^2*(x_4^2*x_6^2*x_7^2+2*x_4^2*x_6^2*x_7*x_8+2*x_4^2*x_6^2*x_7*x_9+x_4^2*x_6^2*x_8^2+2*x_4^2*x_6^2*x_8*x_9+x_1)
x_6*(x_4^2*x_5^2*x_7^2*x_8+x_4^2*x_5^2*x_7^2*x_9+x_4^2*x_5^2*x_7*x_8^2+2*x_4^2*x_5^2*x_7*x_8*x_9+x_4^2*x_5^2*x_7*x_9^2+x_4^2*x_5^2*x_8^2*x_9+x_4^2*x_5^2*x_8*x_9^2+x_3*x_8)
x_6^2*(x_4^2*x_5^2*x_7^2+2*x_4^2*x_5^2*x_7*x_8+2*x_4^2*x_5^2*x_7*x_9+2*x_4^2*x_5^2*x_8*x_9+x_4^2*x_5^2*x_9^2+x_3)
x_4^2*x_7-1
x_5^2*x_9-1
x_6^2*x_8-1
-x_4^2*x_5^2*x_6^2*x_7^2*x_8-x_4^2*x_5^2*x_6^2*x_7^2*x_9-x_4^2*x_5^2*x_6^2*x_7*x_8^2-2*x_4^2*x_5^2*x_6^2*x_7*x_8*x_9-x_4^2*x_5^2*x_6^2*x_7*x_9^2-x_4^2*x_5^2*x_6^2*x_8^2*x_9-x_4^2*x_5^2*x_6^2*x_8*x_9^2+x_10^2
