x_1, x_2, x_3, x_4, 
x_3^2+x_4^2-1
4*x_1^5*x_3-10*x_1^4*x_4-20*x_1^3*x_3+30*x_1^2*x_4+30*x_1*x_3-15*x_4+14
x_1^5*x_3-5*x_1^4*x_4-20*x_1^3*x_3+60*x_1^2*x_4+120*x_1*x_3-120*x_4+101
