y, a3, a2, a1, x6, x5, x4, x3, x2, x1, 
x1^2*x4-1
x3^2*x5-1
x2^2*x6-1
x2^2*a1+(2*x1^2*x2^2*x3^2*x4+2*x1^2*x2^2*x3^2*x5)*x6+x1^2*x2^2*x3^2*x5^2+2*x1^2*x2^2*x3^2*x4*x5+x1^2*x2^2*x3^2*x4^2
x2*x6*a1+(x1^2*x2*x3^2*x4+x1^2*x2*x3^2*x5)*x6^2+(x1^2*x2*x3^2*x4^2+2*x1^2*x2*x3^2*x4*x5+x1^2*x2*x3^2*x5^2)*x6+x1^2*x2*x3^2*x4*x5^2+x1^2*x2*x3^2*x4^2*x5
x1^2*a2+x1^2*x2^2*x3^2*x6^2+(2*x1^2*x2^2*x3^2*x4+2*x1^2*x2^2*x3^2*x5)*x6+x1^2*x2^2*x3^2*x5^2+2*x1^2*x2^2*x3^2*x4*x5
x1*x4*a2+(x1*x2^2*x3^2*x4+x1*x2^2*x3^2*x5)*x6^2+(x1*x2^2*x3^2*x4^2+2*x1*x2^2*x3^2*x4*x5+x1*x2^2*x3^2*x5^2)*x6+x1*x2^2*x3^2*x4*x5^2+x1*x2^2*x3^2*x4^2*x5
x3^2*a3+x1^2*x2^2*x3^2*x6^2+(2*x1^2*x2^2*x3^2*x4+2*x1^2*x2^2*x3^2*x5)*x6+2*x1^2*x2^2*x3^2*x4*x5+x1^2*x2^2*x3^2*x4^2
x3*x5*a3+(x1^2*x2^2*x3*x4+x1^2*x2^2*x3*x5)*x6^2+(x1^2*x2^2*x3*x4^2+2*x1^2*x2^2*x3*x4*x5+x1^2*x2^2*x3*x5^2)*x6+x1^2*x2^2*x3*x4*x5^2+x1^2*x2^2*x3*x4^2*x5
y^2+(-x1^2*x2^2*x3^2*x4-x1^2*x2^2*x3^2*x5)*x6^2+(-x1^2*x2^2*x3^2*x4^2-2*x1^2*x2^2*x3^2*x4*x5-x1^2*x2^2*x3^2*x5^2)*x6-x1^2*x2^2*x3^2*x4*x5^2-x1^2*x2^2*x3^2*x4^2*x5
