#define DIM "16" #define Q "(-i_*(x(1)*x(11)*x(13) - x(1)*x(14)*x(15) + x(12)*x(14)*x(2) - x(11)*x(12)*x(4)- x(10)*x(3)*x(4) + x(10)*x(2)*x(5) + x(13)*x(3)*x(6) - x(15)*x(5)*x(6) - x(1)*x(10)*x(7) + x(12)*x(6)*x(7) - x(13)*x(2)*x(8) + x(15)*x(4)*x(8) - x(14)*x(3)*x(9) + x(11)*x(5)*x(9) - x(7)*x(8)*x(9))*[1/x](0)*[1/x](17))" Local H0 = - y*d + x0*d0; Local H1 = - x2*d2 + x3*d3 - x4*d4 + x5*d5 - x6*d6 + x8*d8 - x9*d9 + x12*d12; Local H2 = - 3 - x0*d0 + x1*d1 - x7*d7 - x10*d10 - x11*d11 - x13*d13 - x14*d14 - x15*d15; Local H3 = - x1*d1 + x2*d2 - x5*d5 + x7*d7 - x8*d8 + x11*d11 - x12*d12 + x15*d15; Local H4 = - x2*d2 - x3*d3 + x4*d4 + x5*d5 - x11*d11 + x13*d13 + x14*d14 - x15*d15 ; Local H5 = - x4*d4 - x5*d5 + x6*d6 - x7*d7 + x8*d8 + x10*d10 + x11*d11 - x13*d13; Local H6 = - x6*d6 - x8*d8 + x9*d9 - x11*d11 + x12*d12 + x13*d13 - x14*d14 + x15* d15; Local Hom = - 9 - 2*y*d - x0*d0 - x1*d1 - x2*d2 - x3*d3 - x4*d4 - x5*d5 - x6*d6 - x7*d7 - x8*d8 - x9*d9 - x10*d10 - x11*d11 - x12*d12 - x13*d13 - x14*d14 - x15*d15; Local b0 = y*d0; Local b1 = y*d1; Local b2 = y*d2; Local b3 = y*d3; Local b4 = y*d4; Local b5 = y*d5; Local b6 = y*d6; Local b7 = y*d7; Local b8 = y*d8; Local b9 = y*d9; Local b10 = y*d10; Local b11 = y*d11; Local b12 = y*d12; Local b13 = y*d13; Local b14 = y*d14; Local b15 = y*d15; Local g0 = x0*i_; Local g1 = x1*i_; Local g2 = x2*i_; Local g3 = x3*i_; Local g4 = x4*i_; Local g5 = x5*i_; Local g6 = x6*i_; Local g7 = x7*i_; Local g8 = x8*i_; Local g9 = x9*i_; Local g10 = x10*i_; Local g11 = x11*i_; Local g12 = x12*i_; Local g13 = x13*i_; Local g14 = x14*i_; Local g15 = x15*i_; Local om = y*i_; Local a2 = [1/y]*x7*x10*i_ - [1/y]*x11*x13*i_ + [1/y]*x14*x15*i_ - x0*d1; Local a8 = - [1/y]*x5*x10*i_ + [1/y]*x8*x13*i_ - [1/y]*x12*x14*i_ - x0*d2; Local a12 = [1/y]*x4*x10*i_ - [1/y]*x6*x13*i_ + [1/y]*x9*x14*i_ - x0*d3; Local a14 = [1/y]*x3*x10*i_ - [1/y]*x8*x15*i_ + [1/y]*x11*x12*i_ - x0*d4; Local a17 = - [1/y]*x2*x10*i_ + [1/y]*x6*x15*i_ - [1/y]*x9*x11*i_ - x0*d5; Local a19 = - [1/y]*x3*x13*i_ + [1/y]*x5*x15*i_ - [1/y]*x7*x12*i_ - x0*d6; Local a21 = [1/y]*x1*x10*i_ - [1/y]*x6*x12*i_ + [1/y]*x8*x9*i_ - x0*d7; Local a22 = [1/y]*x2*x13*i_ - [1/y]*x4*x15*i_ + [1/y]*x7*x9*i_ - x0*d8; Local a24 = [1/y]*x3*x14*i_ - [1/y]*x5*x11*i_ + [1/y]*x7*x8*i_ - x0*d9; Local a30 = [1/y]*x1*x7*i_ - [1/y]*x2*x5*i_ + [1/y]*x3*x4*i_ - x0*d10; Local a25 = - [1/y]*x1*x13*i_ + [1/y]*x4*x12*i_ - [1/y]*x5*x9*i_ - x0*d11; Local a26 = - [1/y]*x2*x14*i_ + [1/y]*x4*x11*i_ - [1/y]*x6*x7*i_ - x0*d12; Local a29 = - [1/y]*x1*x11*i_ + [1/y]*x2*x8*i_ - [1/y]*x3*x6*i_ - x0*d13; Local a27 = [1/y]*x1*x15*i_ - [1/y]*x2*x12*i_ + [1/y]*x3*x9*i_ - x0*d14; Local a28 = [1/y]*x1*x14*i_ - [1/y]*x4*x8*i_ + [1/y]*x5*x6*i_ - x0*d15; Local a1 = x2*d3 + x4*d5 + x6*d8 + x9*d12; Local a3 = x1*d2 + x5*d7 + x8*d11 + x12*d15; Local a4 = x2*d4 + x3*d5 + x11*d14 + x15*d13; Local a5 = x4*d6 + x5*d8 + x7*d11 + x13*d10; Local a6 = x6*d9 + x8*d12 + x11*d15 + x14*d13; Local a7 = x1*d3 - x4*d7 - x6*d11 - x9*d15; Local a9 = x1*d4 - x3*d7 + x8*d14 + x12*d13; Local a10 = x2*d6 + x3*d8 - x7*d14 + x15*d10; Local a11 = - x4*d9 - x5*d12 - x7*d15 + x14*d10; Local a13 = x1*d5 + x2*d7 - x6*d14 - x9*d13; Local a15 = x1*d6 - x3*d11 - x5*d14 + x12*d10; Local a16 = - x2*d9 - x3*d12 + x7*d13 + x11*d10; Local a18 = - x1*d8 - x2*d11 - x4*d14 + x9*d10; Local bm0 = - [1/y]*[1/y]*x1*x7*x10*i_ + [1/y]*[1/y]*x1*x11*x13*i_ - [1/y]*[1/y]*x1 *x14*x15*i_ + [1/y]*[1/y]*x2*x5*x10*i_ - [1/y]*[1/y]*x2*x8*x13*i_ + [1/y]*[1/y]*x2*x12*x14*i_ - [1/y]*[1/y]*x3*x4*x10*i_ + [1/y]*[1/y]*x3*x6 *x13*i_ - [1/y]*[1/y]*x3*x9*x14*i_ + [1/y]*[1/y]*x4*x8*x15*i_ - [1/y]* [1/y]*x4*x11*x12*i_ - [1/y]*[1/y]*x5*x6*x15*i_ + [1/y]*[1/y]*x5*x9*x11* i_ + [1/y]*[1/y]*x6*x7*x12*i_ - [1/y]*[1/y]*x7*x8*x9*i_ - x0*d; Local am2 = - y*d7*d10*i_ + y*d11*d13*i_ - y*d14*d15*i_ + x1*d0; Local am8 = y*d5*d10*i_ - y*d8*d13*i_ + y*d12*d14*i_ + x2*d0; Local am12 = - y*d4*d10*i_ + y*d6*d13*i_ - y*d9*d14*i_ + x3*d0; Local am14 = - y*d3*d10*i_ + y*d8*d15*i_ - y*d11*d12*i_ + x4*d0; Local am17 = y*d2*d10*i_ - y*d6*d15*i_ + y*d9*d11*i_ + x5*d0; Local am19 = y*d3*d13*i_ - y*d5*d15*i_ + y*d7*d12*i_ + x6*d0; Local am21 = - y*d1*d10*i_ + y*d6*d12*i_ - y*d8*d9*i_ + x7*d0; Local am22 = - y*d2*d13*i_ + y*d4*d15*i_ - y*d7*d9*i_ + x8*d0; Local am24 = - y*d3*d14*i_ + y*d5*d11*i_ - y*d7*d8*i_ + x9*d0; Local am30 = - y*d1*d7*i_ + y*d2*d5*i_ - y*d3*d4*i_ + x10*d0; Local am25 = y*d1*d13*i_ - y*d4*d12*i_ + y*d5*d9*i_ + x11*d0; Local am26 = y*d2*d14*i_ - y*d4*d11*i_ + y*d6*d7*i_ + x12*d0; Local am29 = y*d1*d11*i_ - y*d2*d8*i_ + y*d3*d6*i_ + x13*d0; Local am27 = - y*d1*d15*i_ + y*d2*d12*i_ - y*d3*d9*i_ + x14*d0; Local am28 = - y*d1*d14*i_ + y*d4*d8*i_ - y*d5*d6*i_ + x15*d0; Local am1 = - x3*d2 - x5*d4 - x8*d6 - x12*d9; Local am3 = - x2*d1 - x7*d5 - x11*d8 - x15*d12; Local am4 = - x4*d2 - x5*d3 - x13*d15 - x14*d11; Local am5 = - x6*d4 - x8*d5 - x10*d13 - x11*d7; Local am6 = - x9*d6 - x12*d8 - x13*d14 - x15*d11; Local am7 = - x3*d1 + x7*d4 + x11*d6 + x15*d9; Local am9 = - x4*d1 + x7*d3 - x13*d12 - x14*d8; Local am10 = - x6*d2 - x8*d3 - x10*d15 + x14*d7; Local am11 = x9*d4 - x10*d14 + x12*d5 + x15*d7; Local am13 = - x5*d1 - x7*d2 + x13*d9 + x14*d6; Local am15 = - x6*d1 - x10*d12 + x11*d3 + x14*d5; Local am16 = x9*d2 - x10*d11 + x12*d3 - x13*d7; Local am18 = x8*d1 - x10*d9 + x11*d2 + x14*d4; Local gm0 = - y*d0*d*i_ - y*d1*d7*d10 + y*d1*d11*d13 - y*d1*d14*d15 + y*d2*d5*d10 - y*d2*d8*d13 + y*d2*d12*d14 - y*d3*d4*d10 + y*d3*d6*d13 - y*d3*d9*d14 + y*d4*d8*d15 - y*d4*d11*d12 - y*d5*d6*d15 + y*d5*d9*d11 + y*d6*d7*d12 - y*d7*d8*d9 - x0*d0*d0*i_ - 9*d0*i_ - x1*d0*d1*i_ - x2*d0*d2*i_ - x3* d0*d3*i_ - x4*d0*d4*i_ - x5*d0*d5*i_ - x6*d0*d6*i_ - x7*d0*d7*i_ - x8*d0 *d8*i_ - x9*d0*d9*i_ - x10*d0*d10*i_ - x11*d0*d11*i_ - x12*d0*d12*i_ - x13*d0*d13*i_ - x14*d0*d14*i_ - x15*d0*d15*i_; Local bm1 = 3*[1/y]*x1 + [1/y]*x1*x7*d7 + [1/y]*x1*x10*d10 + [1/y]*x1*x11*d11 + [1/y]*x1*x13*d13 + [1/y]*x1*x14*d14 + [1/y]*x1*x15*d15 - [1/y]*x2*x5*d7 - [1/y]*x2*x8*d11 - [1/y]*x2*x12*d15 + [1/y]*x3*x4*d7 + [1/y]*x3*x6*d11 + [1/y]*x3*x9*d15 - [1/y]*x4*x8*d14 - [1/y]*x4*x12*d13 + [1/y]*x5*x6* d14 + [1/y]*x5*x9*d13 - [1/y]*x6*x12*d10 + [1/y]*x8*x9*d10 + x0*d7*d10* i_ - x0*d11*d13*i_ + x0*d14*d15*i_ + x1*d; Local bm2 = - [1/y]*x1*x7*d5 - [1/y]*x1*x11*d8 - [1/y]*x1*x15*d12 + 3*[1/y]*x2 + [1/y]*x2*x5*d5 + [1/y]*x2*x8*d8 + [1/y]*x2*x10*d10 + [1/y]*x2*x12*d12 + [1/y]*x2*x13*d13 + [1/y]*x2*x14*d14 - [1/y]*x3*x4*d5 - [1/y]*x3*x6*d8 - [1/y]*x3*x9*d12 - [1/y]*x4*x11*d14 - [1/y]*x4*x15*d13 + [1/y]*x6*x7*d14 - [1/y]*x6*x15*d10 + [1/y]*x7*x9*d13 + [1/y]*x9*x11*d10 - x0*d5*d10*i_ + x0*d8*d13*i_ - x0*d12*d14*i_ + x2*d; Local bm3 = [1/y]*x1*x7*d4 + [1/y]*x1*x11*d6 + [1/y]*x1*x15*d9 - [1/y]*x2*x5*d4 - [1/y]*x2*x8*d6 - [1/y]*x2*x12*d9 + 3*[1/y]*x3 + [1/y]*x3*x4*d4 + [1/y]* x3*x6*d6 + [1/y]*x3*x9*d9 + [1/y]*x3*x10*d10 + [1/y]*x3*x13*d13 + [1/y]* x3*x14*d14 - [1/y]*x5*x11*d14 - [1/y]*x5*x15*d13 + [1/y]*x7*x8*d14 + [1/y]*x7*x12*d13 - [1/y]*x8*x15*d10 + [1/y]*x11*x12*d10 + x0*d4*d10*i_ - x0*d6*d13*i_ + x0*d9*d14*i_ + x3*d; Local bm4 = [1/y]*x1*x7*d3 - [1/y]*x1*x13*d12 - [1/y]*x1*x14*d8 - [1/y]*x2*x5*d3 - [1/y]*x2*x13*d15 - [1/y]*x2*x14*d11 + [1/y]*x3*x4*d3 + 3*[1/y]*x4 + [1/y]*x4*x8*d8 + [1/y]*x4*x10*d10 + [1/y]*x4*x11*d11 + [1/y]*x4*x12*d12 + [1/y]*x4*x15*d15 - [1/y]*x5*x6*d8 - [1/y]*x5*x9*d12 - [1/y]*x6*x7*d11 - [1/y]*x6*x13*d10 - [1/y]*x7*x9*d15 + [1/y]*x9*x14*d10 + x0*d3*d10*i_ - x0*d8*d15*i_ + x0*d11*d12*i_ + x4*d; Local bm5 = - [1/y]*x1*x7*d2 + [1/y]*x1*x13*d9 + [1/y]*x1*x14*d6 + [1/y]*x2*x5*d2 - [1/y]*x3*x4*d2 - [1/y]*x3*x13*d15 - [1/y]*x3*x14*d11 - [1/y]*x4*x8*d6 - [1/y]*x4*x12*d9 + 3*[1/y]*x5 + [1/y]*x5*x6*d6 + [1/y]*x5*x9*d9 + [1/y]*x5*x10*d10 + [1/y]*x5*x11*d11 + [1/y]*x5*x15*d15 - [1/y]*x7*x8*d11 - [1/y]*x7*x12*d15 - [1/y]*x8*x13*d10 + [1/y]*x12*x14*d10 - x0*d2*d10* i_ + x0*d6*d15*i_ - x0*d9*d11*i_ + x5*d; Local bm6 = - [1/y]*x1*x10*d12 + [1/y]*x1*x11*d3 + [1/y]*x1*x14*d5 - [1/y]*x2*x8*d3 - [1/y]*x2*x10*d15 + [1/y]*x2*x14*d7 + [1/y]*x3*x6*d3 - [1/y]*x4*x8*d5 - [1/y]*x4*x10*d13 - [1/y]*x4*x11*d7 + [1/y]*x5*x6*d5 + 3*[1/y]*x6 + [1/y]*x6*x7*d7 + [1/y]*x6*x12*d12 + [1/y]*x6*x13*d13 + [1/y]*x6*x15*d15 - [1/y]*x8*x9*d12 - [1/y]*x9*x11*d15 - [1/y]*x9*x14*d13 - x0*d3*d13*i_ + x0*d5*d15*i_ - x0*d7*d12*i_ + x6*d; Local bm7 = [1/y]*x1*x7*d1 - [1/y]*x2*x5*d1 + [1/y]*x2*x13*d9 + [1/y]*x2*x14*d6 + [1/y]*x3*x4*d1 + [1/y]*x3*x13*d12 + [1/y]*x3*x14*d8 - [1/y]*x4*x11*d6 - [1/y]*x4*x15*d9 - [1/y]*x5*x11*d8 - [1/y]*x5*x15*d12 + [1/y]*x6*x7*d6 + 3*[1/y]*x7 + [1/y]*x7*x8*d8 + [1/y]*x7*x9*d9 + [1/y]*x7*x10*d10 + [1/y]* x7*x12*d12 - [1/y]*x11*x13*d10 + [1/y]*x14*x15*d10 + x0*d1*d10*i_ - x0* d6*d12*i_ + x0*d8*d9*i_ + x7*d; Local bm8 = [1/y]*x1*x10*d9 - [1/y]*x1*x11*d2 - [1/y]*x1*x14*d4 + [1/y]*x2*x8*d2 - [1/y]*x3*x6*d2 - [1/y]*x3*x10*d15 + [1/y]*x3*x14*d7 + [1/y]*x4*x8*d4 - [1/y]*x5*x6*d4 - [1/y]*x5*x10*d13 - [1/y]*x5*x11*d7 - [1/y]*x6*x12*d9 + [1/y]*x7*x8*d7 + 3*[1/y]*x8 + [1/y]*x8*x9*d9 + [1/y]*x8*x13*d13 + [1/y]* x8*x15*d15 - [1/y]*x11*x12*d15 - [1/y]*x12*x14*d13 + x0*d2*d13*i_ - x0* d4*d15*i_ + x0*d7*d9*i_ + x8*d; Local bm9 = [1/y]*x1*x10*d8 + [1/y]*x1*x13*d5 + [1/y]*x1*x15*d3 + [1/y]*x2*x10*d11 - [1/y]*x2*x12*d3 + [1/y]*x2*x13*d7 + [1/y]*x3*x9*d3 + [1/y]*x4*x10*d14 - [1/y]*x4*x12*d5 - [1/y]*x4*x15*d7 + [1/y]*x5*x9*d5 - [1/y]*x6*x12*d8 - [1/y]*x6*x13*d14 - [1/y]*x6*x15*d11 + [1/y]*x7*x9*d7 + [1/y]*x8*x9*d8 + 3*[1/y]*x9 + [1/y]*x9*x11*d11 + [1/y]*x9*x14*d14 + x0*d3*d14*i_ - x0* d5*d11*i_ + x0*d7*d8*i_ + x9*d; Local bm10 = [1/y]*x1*x10*d1 + [1/y]*x2*x10*d2 + [1/y]*x3*x10*d3 + [1/y]*x4*x10*d4 + [1/y]*x5*x10*d5 - [1/y]*x6*x12*d1 - [1/y]*x6*x13*d4 - [1/y]*x6*x15*d2 + [1/y]*x7*x10*d7 + [1/y]*x8*x9*d1 - [1/y]*x8*x13*d5 - [1/y]*x8*x15*d3 + [1/y]*x9*x11*d2 + [1/y]*x9*x14*d4 + 3*[1/y]*x10 + [1/y]*x11*x12*d3 - [1/y]*x11*x13*d7 + [1/y]*x12*x14*d5 + [1/y]*x14*x15*d7 + x0*d1*d7*i_ - x0*d2*d5*i_ + x0*d3*d4*i_ + x10*d; Local bm11 = [1/y]*x1*x11*d1 - [1/y]*x2*x8*d1 + [1/y]*x2*x10*d9 - [1/y]*x2*x14*d4 + [1/y]*x3*x6*d1 + [1/y]*x3*x10*d12 - [1/y]*x3*x14*d5 + [1/y]*x4*x11*d4 + [1/y]*x5*x11*d5 - [1/y]*x6*x7*d4 - [1/y]*x6*x15*d9 - [1/y]*x7*x8*d5 - [1/y]*x7*x10*d13 - [1/y]*x8*x15*d12 + [1/y]*x9*x11*d9 + 3*[1/y]*x11 + [1/y]*x11*x12*d12 + [1/y]*x11*x13*d13 - [1/y]*x14*x15*d13 - x0*d1*d13*i_ + x0*d4*d12*i_ - x0*d5*d9*i_ + x11*d; Local bm12 = - [1/y]*x1*x10*d6 - [1/y]*x1*x13*d4 - [1/y]*x1*x15*d2 + [1/y]*x2*x12*d2 - [1/y]*x3*x9*d2 + [1/y]*x3*x10*d11 + [1/y]*x3*x13*d7 + [1/y]*x4*x12*d4 - [1/y]*x5*x9*d4 + [1/y]*x5*x10*d14 - [1/y]*x5*x15*d7 + [1/y]*x6*x12*d6 + [1/y]*x7*x12*d7 - [1/y]*x8*x9*d6 - [1/y]*x8*x13*d14 - [1/y]*x8*x15* d11 + [1/y]*x11*x12*d11 + 3*[1/y]*x12 + [1/y]*x12*x14*d14 - x0*d2*d14*i_ + x0*d4*d11*i_ - x0*d6*d7*i_ + x12*d; Local bm13 = [1/y]*x1*x13*d1 + [1/y]*x2*x13*d2 + [1/y]*x3*x13*d3 - [1/y]*x4*x10*d6 - [1/y]*x4*x12*d1 - [1/y]*x4*x15*d2 + [1/y]*x5*x9*d1 - [1/y]*x5*x10*d8 - [1/y]*x5*x15*d3 + [1/y]*x6*x13*d6 + [1/y]*x7*x9*d2 - [1/y]*x7*x10*d11 + [1/y]*x7*x12*d3 + [1/y]*x8*x13*d8 - [1/y]*x9*x14*d6 + [1/y]*x11*x13*d11 - [1/y]*x12*x14*d8 + 3*[1/y]*x13 - [1/y]*x14*x15*d11 - x0*d1*d11*i_ + x0*d2*d8*i_ - x0*d3*d6*i_ + x13*d; Local bm14 = [1/y]*x1*x14*d1 + [1/y]*x2*x14*d2 + [1/y]*x3*x14*d3 - [1/y]*x4*x8*d1 + [1/y]*x4*x10*d9 - [1/y]*x4*x11*d2 + [1/y]*x5*x6*d1 + [1/y]*x5*x10*d12 - [1/y]*x5*x11*d3 + [1/y]*x6*x7*d2 - [1/y]*x6*x13*d9 + [1/y]*x7*x8*d3 + [1/y]*x7*x10*d15 - [1/y]*x8*x13*d12 + [1/y]*x9*x14*d9 - [1/y]*x11*x13* d15 + [1/y]*x12*x14*d12 + 3*[1/y]*x14 + [1/y]*x14*x15*d15 + x0*d1*d15*i_ - x0*d2*d12*i_ + x0*d3*d9*i_ + x14*d; Local bm15 = [1/y]*x1*x15*d1 - [1/y]*x2*x10*d6 - [1/y]*x2*x12*d1 - [1/y]*x2*x13*d4 + [1/y]*x3*x9*d1 - [1/y]*x3*x10*d8 - [1/y]*x3*x13*d5 + [1/y]*x4*x15*d4 + [1/y]*x5*x15*d5 + [1/y]*x6*x15*d6 - [1/y]*x7*x9*d4 + [1/y]*x7*x10*d14 - [1/y]*x7*x12*d5 + [1/y]*x8*x15*d8 - [1/y]*x9*x11*d6 - [1/y]*x11*x12*d8 - [1/y]*x11*x13*d14 + [1/y]*x14*x15*d14 + 3*[1/y]*x15 + x0*d1*d14*i_ - x0*d4*d8*i_ + x0*d5*d6*i_ + x15*d; Local gm1 = y*d1*d*i_ + x0*d0*d1*i_ + x1*d1*d1*i_ + 6*d1*i_ + x2*d1*d2*i_ + x3*d1*d3 *i_ + x4*d1*d4*i_ + x5*d1*d5*i_ + x6*d1*d6*i_ + x7*d2*d5*i_ - x7*d3*d4* i_ + x7*x10*[1/y]*d0 + x8*d1*d8*i_ + x9*d1*d9*i_ + x10*d6*d12*i_ - x10* d8*d9*i_ + x11*d2*d8*i_ - x11*d3*d6*i_ - x11*x13*[1/y]*d0 + x12*d1*d12* i_ + x13*d4*d12*i_ - x13*d5*d9*i_ + x14*d4*d8*i_ - x14*d5*d6*i_ + x14* x15*[1/y]*d0 + x15*d2*d12*i_ - x15*d3*d9*i_; Local gm2 = y*d2*d*i_ + x0*d0*d2*i_ + x1*d1*d2*i_ + x2*d2*d2*i_ + 6*d2*i_ + x3*d2*d3 *i_ + x4*d2*d4*i_ + x5*d1*d7*i_ + x5*d3*d4*i_ - x5*x10*[1/y]*d0 + x6*d2* d6*i_ + x7*d2*d7*i_ + x8*d1*d11*i_ + x8*d3*d6*i_ + x8*x13*[1/y]*d0 + x9* d2*d9*i_ + x10*d6*d15*i_ - x10*d9*d11*i_ + x11*d2*d11*i_ + x12*d1*d15*i_ + x12*d3*d9*i_ - x12*x14*[1/y]*d0 + x13*d4*d15*i_ - x13*d7*d9*i_ + x14* d4*d11*i_ - x14*d6*d7*i_ + x15*d2*d15*i_; Local gm3 = y*d3*d*i_ + x0*d0*d3*i_ + x1*d1*d3*i_ + x2*d2*d3*i_ + x3*d3*d3*i_ + 6*d3 *i_ - x4*d1*d7*i_ + x4*d2*d5*i_ + x4*x10*[1/y]*d0 + x5*d3*d5*i_ - x6*d1* d11*i_ + x6*d2*d8*i_ - x6*x13*[1/y]*d0 + x7*d3*d7*i_ + x8*d3*d8*i_ - x9* d1*d15*i_ + x9*d2*d12*i_ + x9*x14*[1/y]*d0 + x10*d8*d15*i_ - x10*d11*d12 *i_ + x11*d3*d11*i_ + x12*d3*d12*i_ + x13*d5*d15*i_ - x13*d7*d12*i_ + x14*d5*d11*i_ - x14*d7*d8*i_ + x15*d3*d15*i_; Local gm4 = y*d4*d*i_ + x0*d0*d4*i_ + x1*d1*d4*i_ + x2*d2*d4*i_ - x3*d1*d7*i_ + x3* d2*d5*i_ + x3*x10*[1/y]*d0 + x4*d4*d4*i_ + 6*d4*i_ + x5*d4*d5*i_ + x6*d4 *d6*i_ + x7*d4*d7*i_ + x8*d1*d14*i_ + x8*d5*d6*i_ - x8*x15*[1/y]*d0 + x9 *d4*d9*i_ + x10*d6*d13*i_ - x10*d9*d14*i_ + x11*d2*d14*i_ + x11*d6*d7*i_ + x11*x12*[1/y]*d0 + x12*d1*d13*i_ + x12*d5*d9*i_ + x13*d4*d13*i_ + x14 *d4*d14*i_ + x15*d2*d13*i_ + x15*d7*d9*i_; Local gm5 = y*d5*d*i_ + x0*d0*d5*i_ + x1*d1*d5*i_ + x2*d1*d7*i_ + x2*d3*d4*i_ - x2* x10*[1/y]*d0 + x3*d3*d5*i_ + x4*d4*d5*i_ + x5*d5*d5*i_ + 6*d5*i_ - x6*d1 *d14*i_ + x6*d4*d8*i_ + x6*x15*[1/y]*d0 + x7*d5*d7*i_ + x8*d5*d8*i_ - x9 *d1*d13*i_ + x9*d4*d12*i_ - x9*x11*[1/y]*d0 + x10*d8*d13*i_ - x10*d12* d14*i_ + x11*d3*d14*i_ + x11*d7*d8*i_ + x12*d5*d12*i_ + x13*d5*d13*i_ + x14*d5*d14*i_ + x15*d3*d13*i_ + x15*d7*d12*i_; Local gm6 = y*d6*d*i_ + x0*d0*d6*i_ + x1*d1*d6*i_ + x2*d2*d6*i_ - x3*d1*d11*i_ + x3* d2*d8*i_ - x3*x13*[1/y]*d0 + x4*d4*d6*i_ - x5*d1*d14*i_ + x5*d4*d8*i_ + x5*x15*[1/y]*d0 + x6*d6*d6*i_ + 6*d6*i_ - x7*d2*d14*i_ + x7*d4*d11*i_ - x7*x12*[1/y]*d0 + x8*d6*d8*i_ + x9*d6*d9*i_ + x10*d6*d10*i_ + x11*d6*d11 *i_ + x12*d1*d10*i_ + x12*d8*d9*i_ + x13*d4*d10*i_ + x13*d9*d14*i_ + x14 *d6*d14*i_ + x15*d2*d10*i_ + x15*d9*d11*i_; Local gm7 = y*d7*d*i_ + x0*d0*d7*i_ + x1*d2*d5*i_ - x1*d3*d4*i_ + x1*x10*[1/y]*d0 + x2*d2*d7*i_ + x3*d3*d7*i_ + x4*d4*d7*i_ + x5*d5*d7*i_ - x6*d2*d14*i_ + x6*d4*d11*i_ - x6*x12*[1/y]*d0 + x7*d7*d7*i_ + 6*d7*i_ - x8*d3*d14*i_ + x8*d5*d11*i_ + x8*x9*[1/y]*d0 - x9*d2*d13*i_ + x9*d4*d15*i_ + x10*d11* d13*i_ - x10*d14*d15*i_ + x11*d7*d11*i_ - x12*d3*d13*i_ + x12*d5*d15*i_ + x13*d7*d13*i_ + x14*d7*d14*i_ + x15*d7*d15*i_; Local gm8 = y*d8*d*i_ + x0*d0*d8*i_ + x1*d1*d8*i_ + x2*d1*d11*i_ + x2*d3*d6*i_ + x2* x13*[1/y]*d0 + x3*d3*d8*i_ + x4*d1*d14*i_ + x4*d5*d6*i_ - x4*x15*[1/y]* d0 + x5*d5*d8*i_ + x6*d6*d8*i_ - x7*d3*d14*i_ + x7*d5*d11*i_ + x7*x9* [1/y]*d0 + x8*d8*d8*i_ + 6*d8*i_ - x9*d1*d10*i_ + x9*d6*d12*i_ + x10*d8* d10*i_ + x11*d8*d11*i_ + x12*d8*d12*i_ + x13*d5*d10*i_ + x13*d12*d14*i_ + x14*d8*d14*i_ + x15*d3*d10*i_ + x15*d11*d12*i_; Local gm9 = y*d9*d*i_ + x0*d0*d9*i_ + x1*d1*d9*i_ + x2*d2*d9*i_ - x3*d1*d15*i_ + x3* d2*d12*i_ + x3*x14*[1/y]*d0 + x4*d4*d9*i_ - x5*d1*d13*i_ + x5*d4*d12*i_ - x5*x11*[1/y]*d0 + x6*d6*d9*i_ - x7*d2*d13*i_ + x7*d4*d15*i_ + x7*x8* [1/y]*d0 - x8*d1*d10*i_ + x8*d6*d12*i_ + x9*d9*d9*i_ + 6*d9*i_ + x10*d9* d10*i_ - x11*d2*d10*i_ + x11*d6*d15*i_ + x12*d9*d12*i_ + x13*d9*d13*i_ - x14*d4*d10*i_ + x14*d6*d13*i_ + x15*d9*d15*i_; Local gm10 = y*d10*d*i_ + x0*d0*d10*i_ + x1*d6*d12*i_ + x1*x7*[1/y]*d0 - x1*d8*d9*i_ - x2*x5*[1/y]*d0 + x2*d6*d15*i_ - x2*d9*d11*i_ + x3*x4*[1/y]*d0 + x3*d8 *d15*i_ - x3*d11*d12*i_ + x4*d6*d13*i_ - x4*d9*d14*i_ + x5*d8*d13*i_ - x5*d12*d14*i_ + x6*d6*d10*i_ + x7*d11*d13*i_ - x7*d14*d15*i_ + x8*d8*d10 *i_ + x9*d9*d10*i_ + x10*d10*d10*i_ + 6*d10*i_ + x11*d10*d11*i_ + x12* d10*d12*i_ + x13*d10*d13*i_ + x14*d10*d14*i_ + x15*d10*d15*i_; Local gm11 = y*d11*d*i_ + x0*d0*d11*i_ + x1*d2*d8*i_ - x1*d3*d6*i_ - x1*x13*[1/y]*d0 + x2*d2*d11*i_ + x3*d3*d11*i_ + x4*d2*d14*i_ + x4*d6*d7*i_ + x4*x12* [1/y]*d0 + x5*d3*d14*i_ + x5*d7*d8*i_ - x5*x9*[1/y]*d0 + x6*d6*d11*i_ + x7*d7*d11*i_ + x8*d8*d11*i_ - x9*d2*d10*i_ + x9*d6*d15*i_ + x10*d10*d11* i_ + x11*d11*d11*i_ + 6*d11*i_ - x12*d3*d10*i_ + x12*d8*d15*i_ + x13*d7* d10*i_ + x13*d14*d15*i_ + x14*d11*d14*i_ + x15*d11*d15*i_; Local gm12 = y*d12*d*i_ + x0*d0*d12*i_ + x1*d1*d12*i_ + x2*d1*d15*i_ + x2*d3*d9*i_ - x2*x14*[1/y]*d0 + x3*d3*d12*i_ + x4*d1*d13*i_ + x4*d5*d9*i_ + x4*x11* [1/y]*d0 + x5*d5*d12*i_ + x6*d1*d10*i_ - x6*x7*[1/y]*d0 + x6*d8*d9*i_ - x7*d3*d13*i_ + x7*d5*d15*i_ + x8*d8*d12*i_ + x9*d9*d12*i_ + x10*d10*d12* i_ - x11*d3*d10*i_ + x11*d8*d15*i_ + x12*d12*d12*i_ + 6*d12*i_ + x13*d12 *d13*i_ - x14*d5*d10*i_ + x14*d8*d13*i_ + x15*d12*d15*i_; Local gm13 = y*d13*d*i_ + x0*d0*d13*i_ + x1*d4*d12*i_ - x1*d5*d9*i_ - x1*x11*[1/y]*d0 + x2*d4*d15*i_ - x2*d7*d9*i_ + x2*x8*[1/y]*d0 + x3*d5*d15*i_ - x3*x6* [1/y]*d0 - x3*d7*d12*i_ + x4*d4*d13*i_ + x5*d5*d13*i_ + x6*d4*d10*i_ + x6*d9*d14*i_ + x7*d7*d13*i_ + x8*d5*d10*i_ + x8*d12*d14*i_ + x9*d9*d13* i_ + x10*d10*d13*i_ + x11*d7*d10*i_ + x11*d14*d15*i_ + x12*d12*d13*i_ + x13*d13*d13*i_ + 6*d13*i_ + x14*d13*d14*i_ + x15*d13*d15*i_; Local gm14 = y*d14*d*i_ + x0*d0*d14*i_ + x1*d4*d8*i_ - x1*d5*d6*i_ + x1*x15*[1/y]*d0 + x2*d4*d11*i_ - x2*d6*d7*i_ - x2*x12*[1/y]*d0 + x3*d5*d11*i_ - x3*d7* d8*i_ + x3*x9*[1/y]*d0 + x4*d4*d14*i_ + x5*d5*d14*i_ + x6*d6*d14*i_ + x7 *d7*d14*i_ + x8*d8*d14*i_ - x9*d4*d10*i_ + x9*d6*d13*i_ + x10*d10*d14*i_ + x11*d11*d14*i_ - x12*d5*d10*i_ + x12*d8*d13*i_ + x13*d13*d14*i_ + x14 *d14*d14*i_ + 6*d14*i_ - x15*d7*d10*i_ + x15*d11*d13*i_; Local gm15 = y*d15*d*i_ + x0*d0*d15*i_ + x1*d2*d12*i_ - x1*d3*d9*i_ + x1*x14*[1/y]*d0 + x2*d2*d15*i_ + x3*d3*d15*i_ + x4*d2*d13*i_ + x4*d7*d9*i_ - x4*x8* [1/y]*d0 + x5*d3*d13*i_ + x5*x6*[1/y]*d0 + x5*d7*d12*i_ + x6*d2*d10*i_ + x6*d9*d11*i_ + x7*d7*d15*i_ + x8*d3*d10*i_ + x8*d11*d12*i_ + x9*d9* d15*i_ + x10*d10*d15*i_ + x11*d11*d15*i_ + x12*d12*d15*i_ + x13*d13*d15* i_ - x14*d7*d10*i_ + x14*d11*d13*i_ + x15*d15*d15*i_ + 6*d15*i_; Local mom = - y*d*d*i_ - 15*[1/y]*i_ + [1/y]*[1/y]*x1*x7*x10*d0 - [1/y]*[1/y]*x1* x11*x13*d0 + [1/y]*[1/y]*x1*x14*x15*d0 - [1/y]*[1/y]*x2*x5*x10*d0 + [1/y]*[1/y]*x2*x8*x13*d0 - [1/y]*[1/y]*x2*x12*x14*d0 + [1/y]*[1/y]*x3*x4 *x10*d0 - [1/y]*[1/y]*x3*x6*x13*d0 + [1/y]*[1/y]*x3*x9*x14*d0 - [1/y]* [1/y]*x4*x8*x15*d0 + [1/y]*[1/y]*x4*x11*x12*d0 + [1/y]*[1/y]*x5*x6*x15* d0 - [1/y]*[1/y]*x5*x9*x11*d0 - [1/y]*[1/y]*x6*x7*x12*d0 + [1/y]*[1/y]* x7*x8*x9*d0 - 3*[1/y]*x1*d1*i_ - [1/y]*x1*x7*d1*d7*i_ + [1/y]*x1*x7*d2* d5*i_ - [1/y]*x1*x7*d3*d4*i_ - [1/y]*x1*x10*d1*d10*i_ + [1/y]*x1*x10*d6* d12*i_ - [1/y]*x1*x10*d8*d9*i_ - [1/y]*x1*x11*d1*d11*i_ + [1/y]*x1*x11* d2*d8*i_ - [1/y]*x1*x11*d3*d6*i_ - [1/y]*x1*x13*d1*d13*i_ + [1/y]*x1*x13 *d4*d12*i_ - [1/y]*x1*x13*d5*d9*i_ - [1/y]*x1*x14*d1*d14*i_ + [1/y]*x1* x14*d4*d8*i_ - [1/y]*x1*x14*d5*d6*i_ - [1/y]*x1*x15*d1*d15*i_ + [1/y]*x1 *x15*d2*d12*i_ - [1/y]*x1*x15*d3*d9*i_ - 3*[1/y]*x2*d2*i_ + [1/y]*x2*x5* d1*d7*i_ - [1/y]*x2*x5*d2*d5*i_ + [1/y]*x2*x5*d3*d4*i_ + [1/y]*x2*x8*d1* d11*i_ - [1/y]*x2*x8*d2*d8*i_ + [1/y]*x2*x8*d3*d6*i_ - [1/y]*x2*x10*d2* d10*i_ + [1/y]*x2*x10*d6*d15*i_ - [1/y]*x2*x10*d9*d11*i_ + [1/y]*x2*x12* d1*d15*i_ - [1/y]*x2*x12*d2*d12*i_ + [1/y]*x2*x12*d3*d9*i_ - [1/y]*x2* x13*d2*d13*i_ + [1/y]*x2*x13*d4*d15*i_ - [1/y]*x2*x13*d7*d9*i_ - [1/y]* x2*x14*d2*d14*i_ + [1/y]*x2*x14*d4*d11*i_ - [1/y]*x2*x14*d6*d7*i_ - 3* [1/y]*x3*d3*i_ - [1/y]*x3*x4*d1*d7*i_ + [1/y]*x3*x4*d2*d5*i_ - [1/y]*x3* x4*d3*d4*i_ - [1/y]*x3*x6*d1*d11*i_ + [1/y]*x3*x6*d2*d8*i_ - [1/y]*x3*x6 *d3*d6*i_ - [1/y]*x3*x9*d1*d15*i_ + [1/y]*x3*x9*d2*d12*i_ - [1/y]*x3*x9* d3*d9*i_ - [1/y]*x3*x10*d3*d10*i_ + [1/y]*x3*x10*d8*d15*i_ - [1/y]*x3* x10*d11*d12*i_ - [1/y]*x3*x13*d3*d13*i_ + [1/y]*x3*x13*d5*d15*i_ - [1/y] *x3*x13*d7*d12*i_ - [1/y]*x3*x14*d3*d14*i_ + [1/y]*x3*x14*d5*d11*i_ - [1/y]*x3*x14*d7*d8*i_ - 3*[1/y]*x4*d4*i_ + [1/y]*x4*x8*d1*d14*i_ - [1/y] *x4*x8*d4*d8*i_ + [1/y]*x4*x8*d5*d6*i_ - [1/y]*x4*x10*d4*d10*i_ + [1/y]* x4*x10*d6*d13*i_ - [1/y]*x4*x10*d9*d14*i_ + [1/y]*x4*x11*d2*d14*i_ - [1/y]*x4*x11*d4*d11*i_ + [1/y]*x4*x11*d6*d7*i_ + [1/y]*x4*x12*d1*d13*i_ - [1/y]*x4*x12*d4*d12*i_ + [1/y]*x4*x12*d5*d9*i_ + [1/y]*x4*x15*d2*d13* i_ - [1/y]*x4*x15*d4*d15*i_ + [1/y]*x4*x15*d7*d9*i_ - 3*[1/y]*x5*d5*i_ - [1/y]*x5*x6*d1*d14*i_ + [1/y]*x5*x6*d4*d8*i_ - [1/y]*x5*x6*d5*d6*i_ - [1/y]*x5*x9*d1*d13*i_ + [1/y]*x5*x9*d4*d12*i_ - [1/y]*x5*x9*d5*d9*i_ - [1/y]*x5*x10*d5*d10*i_ + [1/y]*x5*x10*d8*d13*i_ - [1/y]*x5*x10*d12* d14*i_ + [1/y]*x5*x11*d3*d14*i_ - [1/y]*x5*x11*d5*d11*i_ + [1/y]*x5*x11* d7*d8*i_ + [1/y]*x5*x15*d3*d13*i_ - [1/y]*x5*x15*d5*d15*i_ + [1/y]*x5* x15*d7*d12*i_ - 3*[1/y]*x6*d6*i_ - [1/y]*x6*x7*d2*d14*i_ + [1/y]*x6*x7* d4*d11*i_ - [1/y]*x6*x7*d6*d7*i_ + [1/y]*x6*x12*d1*d10*i_ - [1/y]*x6*x12 *d6*d12*i_ + [1/y]*x6*x12*d8*d9*i_ + [1/y]*x6*x13*d4*d10*i_ - [1/y]*x6* x13*d6*d13*i_ + [1/y]*x6*x13*d9*d14*i_ + [1/y]*x6*x15*d2*d10*i_ - [1/y]* x6*x15*d6*d15*i_ + [1/y]*x6*x15*d9*d11*i_ - 3*[1/y]*x7*d7*i_ - [1/y]*x7* x8*d3*d14*i_ + [1/y]*x7*x8*d5*d11*i_ - [1/y]*x7*x8*d7*d8*i_ - [1/y]*x7* x9*d2*d13*i_ + [1/y]*x7*x9*d4*d15*i_ - [1/y]*x7*x9*d7*d9*i_ - [1/y]*x7* x10*d7*d10*i_ + [1/y]*x7*x10*d11*d13*i_ - [1/y]*x7*x10*d14*d15*i_ - [1/y]*x7*x12*d3*d13*i_ + [1/y]*x7*x12*d5*d15*i_ - [1/y]*x7*x12*d7*d12*i_ - 3*[1/y]*x8*d8*i_ - [1/y]*x8*x9*d1*d10*i_ + [1/y]*x8*x9*d6*d12*i_ - [1/y]*x8*x9*d8*d9*i_ + [1/y]*x8*x13*d5*d10*i_ - [1/y]*x8*x13*d8*d13*i_ + [1/y]*x8*x13*d12*d14*i_ + [1/y]*x8*x15*d3*d10*i_ - [1/y]*x8*x15*d8* d15*i_ + [1/y]*x8*x15*d11*d12*i_ - 3*[1/y]*x9*d9*i_ - [1/y]*x9*x11*d2* d10*i_ + [1/y]*x9*x11*d6*d15*i_ - [1/y]*x9*x11*d9*d11*i_ - [1/y]*x9*x14* d4*d10*i_ + [1/y]*x9*x14*d6*d13*i_ - [1/y]*x9*x14*d9*d14*i_ - 3*[1/y]* x10*d10*i_ - 3*[1/y]*x11*d11*i_ - [1/y]*x11*x12*d3*d10*i_ + [1/y]*x11* x12*d8*d15*i_ - [1/y]*x11*x12*d11*d12*i_ + [1/y]*x11*x13*d7*d10*i_ - [1/y]*x11*x13*d11*d13*i_ + [1/y]*x11*x13*d14*d15*i_ - 3*[1/y]*x12*d12*i_ - [1/y]*x12*x14*d5*d10*i_ + [1/y]*x12*x14*d8*d13*i_ - [1/y]*x12*x14*d12 *d14*i_ - 3*[1/y]*x13*d13*i_ - 3*[1/y]*x14*d14*i_ - [1/y]*x14*x15*d7*d10 *i_ + [1/y]*x14*x15*d11*d13*i_ - [1/y]*x14*x15*d14*d15*i_ - 3*[1/y]*x15* d15*i_ - 9*d*i_ - x0*d*d0*i_ + x0*d1*d7*d10 - x0*d1*d11*d13 + x0*d1*d14* d15 - x0*d2*d5*d10 + x0*d2*d8*d13 - x0*d2*d12*d14 + x0*d3*d4*d10 - x0*d3 *d6*d13 + x0*d3*d9*d14 - x0*d4*d8*d15 + x0*d4*d11*d12 + x0*d5*d6*d15 - x0*d5*d9*d11 - x0*d6*d7*d12 + x0*d7*d8*d9 - x1*d*d1*i_ - x2*d*d2*i_ - x3 *d*d3*i_ - x4*d*d4*i_ - x5*d*d5*i_ - x6*d*d6*i_ - x7*d*d7*i_ - x8*d*d8* i_ - x9*d*d9*i_ - x10*d*d10*i_ - x11*d*d11*i_ - x12*d*d12*i_ - x13*d*d13 *i_ - x14*d*d14*i_ - x15*d*d15*i_;