x11, x10, x9, x8, x7, x6, x5, x4, x3, x2, x1, x0, d15, d14, d13, d12, d11, d10, d9, d8, d7, d6, d5, d4, d3, d2, d1, d0, 
-d2^2+x2^2+x3^2
-d3^2+x5^2+x6^2
-d4^2+x8^2+x9^2
-d6^2+x0^2-2*x0*x3+x1^2+x3^2
-d7^2+x0^2-2*x0*x6+x4^2+x6^2
-d8^2+x0^2-2*x0*x9+x7^2+x9^2
-d10^2+d2^2+d3^2+x1^2-2*x1*x4-2*x2*x5-2*x3*x6+x4^2
-d11^2+d2^2+d4^2+x1^2-2*x1*x7-2*x2*x8-2*x3*x9+x7^2
-d13^2+d3^2+d4^2+x4^2-2*x4*x7-2*x5*x8-2*x6*x9+x7^2
-d12^2+x1^2-2*x1*x10+x10^2+x11^2-2*x11*x2+x2^2
-d14^2+x10^2-2*x10*x4+x11^2-2*x11*x5+x4^2+x5^2
-d15^2+x10^2-2*x10*x7+x11^2-2*x11*x8+x7^2+x8^2
