N=1,   # of fermion fields: 1,   # of boson fields: 0
weight(t)=12,   weight(s)=14,   fermion weights={3},   boson weights={}


Problem | Unknowns | Inequalities | Equations | Solution 1 | Solution 2 | Computing time | Back to overview

Problem

Find equations

                                                                 2
f  := Df  *f*p4 + Df  *f *p5 + Df  *Df*f*p3 + Df  *f  *p8 + (Df ) *f*p2
 t      4x          3x  x        2x             2x  2x         x

                                         3            2
       + Df *Df*f *p6 + Df *f  *p9 + (Df) *f*p1 + (Df) *f  *p7 + Df*f  *p10
           x     x        x  3x                          2x          4x

       + f  *p12 + f  *f *f*p11
          6x        2x  x

with symmetries
f  := Df  *f*q1 + Df  *f *q8 + Df  *Df*f*q2 + Df  *f  *q9 + Df  *Df *f*q3
 s      5x          4x  x        3x             3x  2x        2x   x

                                             2                 2
       + Df  *Df*f *q7 + Df  *f  *q12 + (Df ) *f *q6 + Df *(Df) *f*q4
           2x     x        2x  3x          x    x        x

                                            3             2
       + Df *Df*f  *q10 + Df *f  *q13 + (Df) *f *q5 + (Df) *f  *q11 + Df*f  *q14
           x     2x         x  4x              x             3x           5x

       + f  *q16 + f  *f *f*q15
          7x        3x  x

Unknowns

All solutions for the following 28 unknowns have to be determined:
p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,
q13,q14,q15,q16

Inequalities

Each of the following lists represents one inequality which states that not all unknowns in this list may vanish. These inequalities filter out solutions which are trivial for the application.
{q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1,p11,p10,p9,p8,p7,p6,p5,p4,p3
,p2,p1}
{q16,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{p12,p11,p10,p9,p8,p7,p6,p5,p4,p3,p2,p1}

Equations

All comma separated 129 expressions involving 1899 terms have to vanish.
p1*q14,
p1*q1,
p1*q11,
p1*q2,
p1*q5,
p1*q4,
7*(p10*q16 - 6/7*p12*q14),
6*(p12*q1 - 7/6*p4*q16),
p10*q14 - 12*p12*q11 + 14*p7*q16,
21*(p1*q16 - 5/21*p10*q11 - 6/7*p12*q5 + 8/21*p7*q14),
21*(p10*q16 - 2/7*p12*q13 - 5/7*p12*q14 + 1/3*p9*q16),
15*(p12*q1 + 2/5*p12*q8 - 7/5*p4*q16 - 7/15*p5*q16),
5*(p1*q10 + 9/5*p1*q11 - 2/5*p7*q4 - 6/5*p7*q5),
p10*q1 - p4*q1 - p4*q14 + 2*p4*q8 - 2*p5*q1,
4*(p1*q13 + 15/4*p1*q14 - 1/4*p10*q4 - 3*p10*q5 + 1/2*p7*q11),
9*(p1*q11 + 5/9*p1*q7 + 1/3*p3*q5 - 1/9*p6*q4 - 2/9*p7*q4),
4*(p10*q13 - 3/2*p12*q10 - 15/2*p12*q11 + 7/4*p6*q16 + 21/2*p7*q16 - 3/4*p9*q14)
,
4*(p10*q1 + 3/2*p12*q2 - 7/4*p3*q16 - 5/4*p4*q14 - 1/4*p4*q8 + 1/4*p5*q1),
35*(p10*q16 - 6/35*p12*q12 - 3/7*p12*q13 - 4/7*p12*q14 + 1/5*p8*q16 + 3/5*p9*q16
),
20*(p12*q1 + 3/4*p12*q8 + 3/10*p12*q9 - 7/4*p4*q16 - 21/20*p5*q16 - 7/20*p8*q16)
,
4*(p10*q13 - p10*q14 + 3/2*p12*q10 + 15/2*p12*q11 - 7/4*p6*q16 - 21/2*p7*q16 - 5
/4*p9*q14),
5*(p10*q1 - 6/5*p12*q2 + 7/5*p3*q16 + 1/5*p4*q1 - 4/5*p4*q14 - 1/5*p4*q8 + 1/5*
p5*q1),
18*(p1*q11 + 2*p1*q2 + 5/18*p1*q3 - 1/3*p3*q4 - 1/2*p3*q5 + 1/18*p6*q4 - 1/9*p7*
q4),
210*(p1*q16 - 1/7*p12*q4 - 4/7*p12*q5 + 1/210*p2*q13 + 1/42*p6*q13 + 2/35*p7*q13
 - 1/70*p9*q10 - 1/35*p9*q11),
12*(p1*q13 + p1*q8 + 1/12*p2*q6 - 1/4*p5*q4 - 1/4*p5*q5 + 1/12*p6*q6 - 1/4*p9*q4
 - 1/4*p9*q5),
35*(p10*q16 - 3/7*p12*q12 - 4/7*p12*q13 - 3/7*p12*q14 - 6/35*p12*q9 + 1/5*p5*q16
 + 3/5*p8*q16 + p9*q16),
15*(p12*q1 + 2/5*p12*q12 + 4/3*p12*q8 + p12*q9 - 7/3*p4*q16 - 7/3*p5*q16 - 7/5*
p8*q16 - 7/15*p9*q16),
4*(p1*q12 + 15/2*p1*q14 - p10*q4 - 9/2*p10*q5 + 1/2*p3*q11 + 3/4*p6*q11 - 1/2*p7
*q10 + 3/2*p7*q11 - 1/4*p9*q4),
15*(p1*q14 + 4/15*p1*q8 - 4/15*p10*q4 + 1/5*p3*q11 + 1/15*p3*q7 + 1/5*p4*q5 - 1/
15*p5*q4 - 1/15*p6*q2 - 2/15*p7*q2),
12*(p1*q11 - 1/12*p1*q15 + 1/2*p1*q2 - 1/2*p1*q7 + 1/12*p11*q4 - 1/12*p3*q4 - 1/
4*p3*q5 + 1/6*p6*q4 - 1/6*p7*q4),
6*(p1*q10 + 3*p1*q11 + 4/3*p1*q6 + 2*p1*q7 + 1/2*p2*q5 - 2/3*p6*q4 - 1/2*p6*q5 -
 2/3*p7*q4 - p7*q5),
126*(p1*q16 - 1/63*p10*q10 - 2/21*p10*q11 - 2/21*p12*q4 - 5/7*p12*q5 + 1/126*p2*
q14 + 5/126*p6*q14 + 4/63*p7*q13 + 10/63*p7*q14 - 1/21*p9*q11),
63*(p1*q16 - 4/63*p10*q10 - 1/7*p10*q11 - 2/21*p12*q4 - 5/7*p12*q5 + 1/63*p3*q14
 + 5/63*p6*q14 - 2/63*p7*q13 + 20/63*p7*q14 + 1/21*p9*q11),
21*(p1*q16 - 4/21*p10*q2 - 2/7*p12*q4 + 5/21*p3*q14 + 1/21*p3*q8 + 1/7*p4*q11 + 
1/21*p4*q7 - 1/21*p5*q2 - 1/21*p6*q1 - 2/21*p7*q1),
6*(p10*q1 + 2/3*p10*q8 + 5/2*p12*q2 + p12*q7 - 7/2*p3*q16 - 5/3*p4*q14 - 1/6*p4*
q9 - 5/6*p5*q14 - 7/6*p6*q16 + 1/6*p8*q1),
30*(p1*q14 + 2/15*p1*q9 - 1/5*p10*q4 - 2/5*p10*q5 + 1/30*p3*q10 + 1/10*p3*q11 + 
1/10*p6*q11 - 1/15*p7*q2 - 1/15*p7*q7 - 1/30*p8*q4),
21*(p10*q16 - 20/21*p12*q12 - 5/7*p12*q13 - 2/7*p12*q14 - 2/7*p12*q8 - 5/7*p12*
q9 + 1/3*p4*q16 + p5*q16 + 5/3*p8*q16 + 5/3*p9*q16),
7*(p10*q16 - 6/7*p12*q1 - 15/7*p12*q12 - 6/7*p12*q13 - 15/7*p12*q8 - 20/7*p12*q9
 + 3*p4*q16 + 5*p5*q16 + 5*p8*q16 + 3*p9*q16),
6*(p1*q10 + p1*q11 + 4*p1*q2 + 2*p1*q3 - 1/2*p2*q4 - p2*q5 - p3*q4 - p3*q5 + 1/6
*p6*q4 - 1/3*p7*q4),
8*(p10*q1 - 7/4*p11*q16 + 7/4*p12*q15 - 1/2*p4*q1 - 1/2*p4*q13 - 1/2*p4*q14 + 1/
2*p4*q8 + 5/8*p4*q9 - 9/8*p5*q1 - 5/8*p8*q1 + 5/8*p9*q1),
5*(p10*q1 - 7/5*p11*q16 + 6/5*p12*q15 - 4/5*p4*q1 - 1/5*p4*q13 - 4/5*p4*q14 + 4/
5*p4*q8 + 2/5*p4*q9 - p5*q1 - 2/5*p8*q1 + 1/5*p9*q1),
4*(p10*q12 + 3/2*p10*q13 - 3/2*p10*q14 + 15/4*p12*q10 + 10*p12*q11 + 3/2*p12*q7 
- 7/4*p3*q16 - 21/4*p6*q16 - 35/2*p7*q16 - 5/4*p8*q14 - 5/2*p9*q14),
12*(p1*q12 + p1*q13 + 5*p1*q14 - 2/3*p10*q4 - 3*p10*q5 + 1/6*p2*q11 + 1/4*p6*q11
 + 1/6*p7*q10 + 1/3*p7*q11 - 1/4*p9*q4 - p9*q5),
60*(p1*q1 + 1/2*p1*q14 - 7/60*p10*q4 - 1/60*p3*q11 + 1/30*p3*q2 - 1/60*p3*q7 - 1
/5*p4*q4 - 1/4*p4*q5 + 1/60*p5*q4 + 1/60*p6*q2 + 1/15*p7*q2),
12*(p1*q10 + 3/4*p1*q15 + 3/2*p1*q2 + 1/4*p1*q3 - p1*q6 - p1*q7 - 1/2*p11*q5 - 1
/2*p2*q5 - 1/2*p3*q4 + 2/3*p6*q4 - 5/6*p7*q4),
p10*q2 - p11*q1 - 3*p3*q1 - p3*q14 + 2*p3*q8 - 2*p4*q11 + p4*q15 + p4*q2 + 2*p4*
q7 - 2*p5*q2 - 2*p6*q1 + 2*p7*q1,
42*(p1*q16 - 1/42*p10*q2 - 2/7*p12*q4 + 4/21*p3*q1 + 1/14*p3*q14 - 1/42*p3*q8 - 
4/21*p4*q11 - 5/42*p4*q2 - 1/42*p4*q7 + 1/42*p5*q2 + 1/42*p6*q1 + 5/21*p7*q1),
10*(p10*q1 - 7/5*p11*q16 + 3/2*p12*q15 - 3/5*p4*q1 + 1/10*p4*q12 - 2/5*p4*q13 - 
3/5*p4*q14 + 3/5*p4*q8 + 2/5*p4*q9 - p5*q1 - 2/5*p8*q1 + 3/10*p9*q1),
3*(p10*q12 - 20*p12*q10 - 30*p12*q11 - 2*p12*q3 - 10*p12*q6 - 5*p12*q7 + 14*p2*
q16 + 7*p3*q16 + 35*p6*q16 + 70*p7*q16 - 2/3*p8*q13 + p9*q12),
30*(p12*q10 + 1/3*p12*q11 + 1/3*p12*q2 + p12*q3 + 3/2*p12*q6 + p12*q7 - 7/2*p2*
q16 - 7/3*p3*q16 - 7/2*p6*q16 - 7/3*p7*q16 - 1/30*p8*q12 - 1/30*p8*q9),
4*(p10*q8 - 15/2*p12*q2 - 3/2*p12*q3 - 3/2*p12*q7 + 7/2*p2*q16 + 21/2*p3*q16 + 
p4*q13 + p4*q8 - 3/4*p5*q1 - 3/4*p5*q14 + 7/4*p6*q16 - 3/4*p9*q1),
36*(p1*q13 + 5/3*p1*q14 + 2/3*p1*q9 - 1/3*p10*q4 - 2/3*p10*q5 + 1/18*p2*q10 + 1/
12*p6*q10 + 1/18*p7*q10 - 1/6*p8*q4 - 1/6*p8*q5 - 1/6*p9*q4 - 1/2*p9*q5),
p10*q13 - 2*p10*q14 - 2*p10*q8 + 21*p11*q16 - 21*p12*q15 - p4*q13 + p4*q8 + p5*
q13 + 2*p5*q14 + 2*p5*q8 - 2*p5*q9 + 2*p8*q8 - 2*p9*q8,
3*(p10*q12 + 2*p10*q13 - 15*p12*q10 - 40*p12*q11 - 4*p12*q6 - 2*p12*q7 + 14/3*p2
*q16 + 7/3*p3*q16 + 21*p6*q16 + 70*p7*q16 - 2/3*p8*q14 + 1/3*p9*q13 - p9*q14),
10*(p10*q1 - 3/2*p12*q2 - 3/5*p12*q3 + 7/5*p2*q16 + 21/10*p3*q16 + 2/5*p4*q1 - 2
/5*p4*q13 - 3/5*p4*q14 - 2/5*p4*q8 - 1/10*p4*q9 + 1/2*p5*q1 + 1/10*p8*q1 + 1/2*
p9*q1),
105*(p1*q16 - 2/35*p10*q10 - 8/105*p10*q11 - 1/105*p10*q2 - 4/105*p10*q7 - 1/7*
p12*q4 - 4/7*p12*q5 + 1/105*p3*q13 + 1/21*p3*q14 + 2/21*p6*q14 - 2/105*p7*q12 + 
4/21*p7*q14 + 1/35*p8*q11 + 1/35*p9*q11),
63*(p1*q16 - 2/21*p10*q2 - 4/63*p10*q7 - 5/21*p12*q4 - 2/7*p12*q5 + 10/63*p3*q14
 + 1/63*p3*q9 + 1/63*p4*q10 + 1/21*p4*q11 + 1/21*p5*q11 + 5/63*p6*q14 - 2/63*p7*
q1 - 2/63*p7*q8 - 1/63*p8*q2),
6*(p10*q1 - 7/2*p12*q2 - 35/6*p12*q3 + 35/3*p2*q16 + 28/3*p3*q16 + 5/6*p4*q1 - 5
/3*p4*q12 - 5/6*p4*q13 - 1/6*p4*q14 - 2/3*p4*q8 - 5/3*p4*q9 + 5/2*p5*q1 + 10/3*
p8*q1 + 5/2*p9*q1),
4*(p10*q1 + 3/2*p10*q8 + p10*q9 + 3/2*p12*q10 + 5*p12*q2 + 15/4*p12*q7 - 35/4*p3
*q16 - 1/4*p4*q12 - 5/2*p4*q14 - 5/2*p5*q14 - 21/4*p6*q16 - 7/2*p7*q16 - 5/4*p8*
q14 + 1/4*p9*q1),
10*(p10*q1 - 2*p12*q2 - 21/10*p12*q3 + 21/5*p2*q16 + 21/5*p3*q16 + 3/5*p4*q1 - 1
/2*p4*q12 - 3/5*p4*q13 - 2/5*p4*q14 - 3/5*p4*q8 - 2/5*p4*q9 + p5*q1 + p8*q1 + 11
/10*p9*q1),
12*(p1*q1 + 1/2*p1*q14 - 1/2*p1*q8 - 1/12*p10*q4 + 1/12*p11*q2 + 1/6*p3*q11 - 1/
12*p3*q15 + 1/12*p3*q2 - 1/6*p3*q7 - 1/4*p4*q4 - 1/4*p4*q5 + 1/6*p5*q4 + 1/6*p6*
q2 - 1/6*p7*q2),
120*(p1*q1 + 1/40*p1*q12 + 3/20*p1*q13 - 1/120*p2*q10 + 1/60*p2*q3 - 1/60*p2*q6 
- 1/120*p2*q7 + 1/120*p3*q3 - 1/4*p4*q4 - 1/4*p4*q5 + 1/40*p6*q3 + 1/120*p7*q3 -
 1/120*p8*q4 - 1/20*p9*q4),
105*(p1*q16 - 4/105*p10*q10 - 4/105*p10*q2 - 2/35*p10*q7 - 4/21*p12*q4 - 3/7*p12
*q5 + 1/105*p3*q12 + 2/21*p3*q14 + 2/105*p4*q11 + 1/35*p5*q11 + 2/21*p6*q14 + 2/
21*p7*q14 - 2/105*p7*q9 + 1/35*p8*q11 - 1/105*p9*q2),
4*(p10*q8 - 1/4*p10*q9 - 7/2*p11*q16 + 15/4*p12*q15 - 3/2*p4*q8 + 3/4*p4*q9 + 3/
4*p5*q1 - 1/4*p5*q13 - 3/4*p5*q14 - 1/4*p5*q8 + 1/2*p5*q9 - 1/2*p8*q1 + 1/4*p8*
q14 - 1/2*p8*q8 + 1/4*p9*q8),
4*(p10*q13 + 1/2*p10*q9 - 20*p12*q10 - 30*p12*q11 - 3/2*p12*q2 - 3/2*p12*q3 - 15
/2*p12*q6 - 15/2*p12*q7 + 21/2*p2*q16 + 21/2*p3*q16 + 35*p6*q16 + 70*p7*q16 + p8
*q13 - 3/4*p9*q12 + 3/4*p9*q13),
150*(p12*q10 + 4/5*p12*q11 + 1/10*p12*q2 + 3/10*p12*q3 + 4/5*p12*q6 + 8/15*p12*
q7 - 7/5*p2*q16 - 14/15*p3*q16 - 7/3*p6*q16 - 14/5*p7*q16 - 1/150*p8*q12 - 1/150
*p8*q13 - 1/50*p9*q12 - 1/150*p9*q13 - 1/75*p9*q9),
6*(p10*q12 + 2/3*p10*q13 - 5/6*p10*q14 + 2/3*p10*q9 + 10/3*p12*q10 + 5*p12*q11 +
 p12*q2 + 5/2*p12*q7 - 7/2*p3*q16 - 1/6*p4*q14 - 5/6*p5*q14 - 35/6*p6*q16 - 35/3
*p7*q16 - 5/3*p8*q14 - 5/3*p9*q14),
p10*q8 - 30*p12*q2 - 60*p12*q3 - 20*p12*q6 - 15*p12*q7 + 140*p2*q16 + 105*p3*q16
 + p4*q8 - 3*p5*q12 - p5*q13 + 4*p5*q8 - 3*p5*q9 + 35*p6*q16 + 6*p8*q8 + 4*p9*q8
,
630*(p1*q16 - 2/7*p12*q4 - 1/7*p12*q5 + 1/105*p2*q12 + 2/105*p2*q8 + 1/210*p3*
q12 + 1/105*p3*q8 - 1/210*p5*q10 - 1/210*p5*q3 - 1/105*p5*q6 - 1/210*p5*q7 + 1/
210*p6*q12 + 2/105*p6*q8 + 1/105*p7*q8 - 1/315*p8*q3 - 1/315*p8*q6),
p10*q12 - 6*p10*q8 + 35*p11*q16 - 34*p12*q15 - 2*p4*q12 + 4*p4*q8 - p5*q1 - p5*
q12 + 3*p5*q13 + 3*p5*q14 + 3*p5*q8 - 3*p5*q9 + 3*p8*q8 + p9*q1 - p9*q14 - 2*p9*
q8,
p10*q9 - 35*p12*q10 - 75*p12*q2 - 150*p12*q3 - 120*p12*q6 - 90*p12*q7 + 420*p2*
q16 + 315*p3*q16 + p4*q9 + 5*p5*q9 + 245*p6*q16 + 70*p7*q16 - 3*p8*q12 - p8*q13 
+ 4*p8*q9 + 4*p9*q9,
p10*q1 + 4*p10*q12 + 4*p10*q8 + 6*p10*q9 + 15*p12*q10 + 12*p12*q11 + 15*p12*q2 +
 20*p12*q7 - 35*p3*q16 - p4*q13 - 5*p4*q14 - 10*p5*q14 - 35*p6*q16 - 42*p7*q16 -
 10*p8*q14 - 5*p9*q14,
630*(p1*q16 - 1/3*p12*q4 + 8/63*p2*q1 + 1/105*p2*q12 + 1/315*p2*q9 + 5/63*p3*q1 
+ 1/210*p3*q12 - 11/315*p4*q10 - 1/105*p4*q11 - 1/105*p4*q2 - 11/315*p4*q3 - 2/
35*p4*q6 - 11/315*p4*q7 + 8/63*p6*q1 + 5/63*p7*q1 - 1/630*p8*q3 + 1/630*p9*q3),
2*(p10*q12 - 3/2*p10*q9 + 21/2*p11*q16 - 21/2*p12*q15 - 1/2*p4*q12 + 1/2*p4*q9 -
 p5*q12 + 3/2*p5*q9 - 1/2*p8*q12 + p8*q13 + p8*q14 - 1/2*p8*q8 + 1/2*p9*q12 - 1/
2*p9*q13 - p9*q14 + 1/2*p9*q8 - 1/2*p9*q9),
p10*q13 - 75*p12*q10 - 60*p12*q11 - 30*p12*q2 - 15*p12*q3 - 40*p12*q6 - 60*p12*
q7 + 70*p2*q16 + 105*p3*q16 + p4*q13 + 5*p5*q13 + 175*p6*q16 + 210*p7*q16 + 6*p8
*q13 - 3*p9*q12 + 4*p9*q13 - 3*p9*q9,
120*(p1*q1 + 1/2*p1*q14 - 1/6*p10*q4 + 1/20*p2*q11 + 1/20*p2*q2 - 1/40*p3*q10 + 
1/120*p3*q11 + 1/20*p3*q2 - 1/60*p3*q3 - 1/60*p3*q7 - 1/4*p4*q4 - 1/4*p4*q5 + 1/
20*p6*q2 + 1/15*p7*q2 - 1/60*p7*q3 + 1/120*p8*q4 + 1/120*p9*q4),
1260*(p1*q16 - 4/21*p12*q4 - 3/7*p12*q5 + 1/252*p2*q12 + 2/315*p2*q13 + 1/630*p3
*q12 + 1/315*p3*q13 + 2/315*p6*q12 + 1/70*p6*q13 + 2/315*p7*q12 + 2/105*p7*q13 -
 1/630*p8*q10 - 1/630*p8*q11 - 1/126*p9*q10 - 1/210*p9*q11 - 1/1260*p9*q3 - 2/
315*p9*q6 - 1/315*p9*q7),
210*(p1*q16 - 1/3*p12*q4 + 5/42*p2*q1 - 1/210*p2*q12 + 1/70*p2*q13 + 2/21*p3*q1 
+ 1/105*p3*q13 + 1/210*p3*q9 - 4/105*p4*q10 - 2/105*p4*q11 - 2/105*p4*q2 - 4/105
*p4*q3 - 3/70*p4*q6 - 4/105*p4*q7 + 5/42*p6*q1 + 2/21*p7*q1 + 1/210*p8*q3 - 1/
210*p9*q3),
4*(p11*q1 - 3/2*p11*q8 + 5/2*p2*q1 - 1/2*p2*q8 + 5/2*p3*q1 - p3*q8 + 1/4*p3*q9 +
 1/4*p4*q10 - 3/4*p4*q15 - 3/2*p4*q2 - p4*q3 - 1/2*p4*q6 + 3/2*p5*q15 + 3/4*p5*
q2 + 1/4*p5*q3 + 1/4*p6*q1 - 1/2*p7*q1 - 1/4*p8*q2),
126*(p1*q16 + 1/63*p10*q3 - 1/3*p12*q4 + 1/14*p2*q1 - 1/63*p2*q14 - 1/63*p2*q8 +
 10/63*p3*q1 + 2/63*p3*q13 - 2/63*p4*q10 - 2/21*p4*q11 - 2/21*p4*q2 - 1/63*p4*q3
 - 1/63*p4*q6 - 2/63*p4*q7 + 1/126*p5*q3 + 11/126*p6*q1 + 10/63*p7*q1 - 1/42*p9*
q2),
p10*q12 - 90*p12*q10 - 30*p12*q11 - 60*p12*q2 - 80*p12*q3 - 120*p12*q6 - 105*p12
*q7 + 280*p2*q16 + 245*p3*q16 + p4*q12 + 5*p5*q12 + 315*p6*q16 + 210*p7*q16 + 4*
p8*q12 - 2*p8*q9 + 2*p9*q12 - p9*q13 - p9*q9,
4*(p10*q8 - 33/2*p12*q2 - 45/2*p12*q3 - 15/2*p12*q6 - 13/2*p12*q7 + 105/2*p2*q16
 + 91/2*p3*q16 + p4*q8 + 1/2*p4*q9 - 1/4*p5*q1 - p5*q12 - 3/4*p5*q13 - 1/4*p5*
q14 + 3/4*p5*q8 - 3/4*p5*q9 + 14*p6*q16 + 2*p8*q8 + 7/4*p9*q8),
6*(p10*q8 - 10*p12*q2 - 6*p12*q3 - 2*p12*q6 - 5/2*p12*q7 + 14*p2*q16 + 56/3*p3*
q16 + 1/2*p4*q12 + p4*q8 - 1/2*p5*q1 - 1/2*p5*q13 - 1/2*p5*q14 + 1/6*p5*q8 - 1/6
*p5*q9 + 14/3*p6*q16 - 1/3*p8*q1 + 1/6*p8*q8 + 2/3*p9*q8),
3*(p1*q12 + 2*p1*q8 - 2*p1*q9 - 1/3*p11*q10 + 2/3*p11*q11 + 1/3*p11*q7 - 1/3*p3*
q10 + 1/3*p3*q7 - 2/3*p5*q4 - 1/3*p6*q10 + 4/3*p6*q11 - 1/3*p6*q15 + 2/3*p7*q10 
- 8/3*p7*q11 + 2/3*p8*q4 + p8*q5 - 1/3*p9*q4 - p9*q5),
15*(p1*q1 + 2/5*p1*q13 - 2/5*p1*q9 - 2/15*p10*q4 + 1/5*p11*q11 + 2/15*p11*q2 - 1
/15*p3*q10 + 4/15*p3*q11 - 2/15*p3*q15 + 2/15*p3*q2 - 2/15*p3*q7 - 1/3*p4*q4 + 1
/15*p5*q4 + 2/15*p6*q2 - 2/15*p7*q15 - 2/15*p7*q2 + 2/15*p8*q4 - 1/15*p9*q4),
6*(p10*q15 + 1/2*p10*q2 - 5/6*p11*q1 - 5/6*p11*q14 - 3/2*p3*q1 + 1/6*p3*q12 - 1/
3*p3*q13 - 1/3*p3*q14 + 1/6*p3*q8 + 1/3*p3*q9 - 4/3*p4*q11 + 5/6*p4*q15 + 1/2*p4
*q2 + 5/6*p4*q7 - 1/2*p5*q2 - 5/6*p6*q1 + 5/3*p7*q1 - 1/3*p8*q2 + 1/6*p9*q2),
4*(p10*q15 + 3/4*p10*q2 - p11*q1 - 5/4*p11*q14 - 9/4*p3*q1 - 1/4*p3*q13 - 1/2*p3
*q14 + 1/2*p3*q8 + 1/2*p3*q9 + 1/4*p4*q10 - 2*p4*q11 + p4*q15 + 3/4*p4*q2 + p4*
q7 - 3/4*p5*q2 - p6*q1 + 3/2*p7*q1 - 1/2*p8*q2 + 1/4*p9*q2),
630*(p1*q16 - 2/105*p10*q10 - 1/105*p10*q11 - 2/315*p10*q3 - 2/105*p10*q6 - 1/
105*p10*q7 - 4/21*p12*q4 - 3/7*p12*q5 + 1/315*p2*q12 + 2/63*p2*q14 + 1/315*p3*
q12 + 1/63*p3*q14 + 1/126*p6*q12 + 1/21*p6*q14 + 4/315*p7*q12 + 1/21*p7*q14 - 1/
315*p8*q10 - 1/630*p9*q10 - 1/630*p9*q3),
3*(p10*q9 - 7*p12*q10 - 30*p12*q2 - 25*p12*q3 - 20*p12*q6 - 22*p12*q7 + 70*p2*
q16 + 77*p3*q16 + p4*q12 + p4*q9 + p5*q12 + p5*q9 + 49*p6*q16 + 14*p7*q16 - 1/3*
p8*q1 - 2/3*p8*q13 - 1/3*p8*q14 - 4/3*p8*q8 + p9*q9),
3*(p10*q9 - 2*p12*q10 - 20*p12*q2 - 5*p12*q3 - 4*p12*q6 - 10*p12*q7 + 14*p2*q16 
+ 35*p3*q16 + 2*p4*q13 + p4*q9 + 4/3*p5*q13 + 1/3*p5*q9 + 49/3*p6*q16 + 14/3*p7*
q16 - 2/3*p8*q1 - 2/3*p8*q14 - 1/3*p8*q8 - p9*q1 - p9*q8),
9*(p1*q12 + 10*p1*q14 + 4*p1*q8 - 8/3*p10*q4 - 2*p10*q5 + 2/3*p2*q11 + 2/9*p2*q7
 + 1/3*p3*q11 + 1/3*p3*q7 - p5*q4 - p5*q5 - 1/9*p6*q10 + 1/3*p6*q11 - 1/9*p6*q3 
+ 2/9*p6*q7 - 2/9*p7*q3 - 2/9*p7*q6 + 2/9*p7*q7 - 2/9*p8*q4),
360*(p1*q1 + 1/20*p1*q12 + 1/20*p1*q13 + 1/4*p1*q14 - 1/12*p10*q4 + 1/30*p2*q2 +
 1/180*p2*q3 - 1/120*p3*q10 + 1/60*p3*q2 - 1/60*p3*q6 - 1/120*p3*q7 - 1/4*p4*q4 
- 1/4*p4*q5 + 1/30*p6*q2 + 1/120*p6*q3 + 1/60*p7*q2 + 1/90*p7*q3 - 1/90*p8*q4 - 
1/60*p9*q4),
60*(p1*q1 - 2/5*p1*q8 + 1/10*p1*q9 - 1/15*p11*q7 + 1/10*p2*q2 - 1/30*p2*q7 + 1/
30*p3*q10 + 1/30*p3*q15 + 1/30*p3*q2 - 1/30*p3*q3 - 1/30*p3*q6 - 1/30*p3*q7 - 1/
3*p4*q4 + 2/15*p5*q4 + 1/15*p6*q15 + 1/20*p6*q2 + 1/60*p6*q3 - 1/10*p7*q2 - 1/30
*p8*q4),
3*(p10*q15 - 1/3*p10*q3 - 2/3*p11*q14 + 1/3*p11*q8 + 8/3*p2*q1 + 2/3*p2*q14 - 4/
3*p2*q8 + 20/3*p3*q1 - 4/3*p3*q8 + 1/3*p4*q10 + 8/3*p4*q11 - 4*p4*q2 - 2/3*p4*q3
 - 4/3*p4*q6 - 4/3*p4*q7 - 1/3*p5*q15 + p5*q2 + 2/3*p5*q3 + 2*p6*q1 - 10/3*p7*q1
),
630*(p1*q16 - 1/35*p10*q10 - 4/105*p10*q11 - 1/630*p10*q3 - 4/315*p10*q6 - 2/315
*p10*q7 - 1/7*p12*q4 - 4/7*p12*q5 + 1/315*p2*q13 + 1/63*p2*q14 + 1/315*p3*q13 + 
1/126*p3*q14 + 1/126*p6*q13 + 1/21*p6*q14 + 1/105*p7*q12 + 1/45*p7*q13 + 2/21*p7
*q14 - 2/315*p8*q11 - 1/630*p9*q10 - 1/105*p9*q11),
630*(p1*q16 + 1/315*p10*q6 - 2/7*p12*q4 - 1/7*p12*q5 + 4/315*p2*q13 + 1/70*p2*q8
 + 2/105*p3*q13 + 2/105*p3*q8 + 1/315*p4*q6 - 1/210*p5*q10 - 1/105*p5*q11 - 1/
105*p5*q2 - 1/210*p5*q3 - 1/210*p5*q7 + 2/315*p6*q13 + 1/70*p6*q8 + 2/105*p7*q8 
- 1/105*p9*q2 - 1/210*p9*q3 - 1/210*p9*q7),
2*(p10*q12 - 18*p12*q10 - 6*p12*q11 - 30*p12*q2 - 10*p12*q3 - 15*p12*q6 - 30*p12
*q7 + 35*p2*q16 + 70*p3*q16 + p4*q12 + 2*p4*q13 + 1/2*p5*q12 + 3*p5*q13 + 63*p6*
q16 + 42*p7*q16 + 2*p8*q13 - 1/2*p9*q1 - 1/2*p9*q14 - 2*p9*q8 - 3/2*p9*q9),
9*(p1*q12 + 2*p1*q13 + 20*p1*q14 + 4*p1*q9 - 4*p10*q4 - 8*p10*q5 + 2/9*p2*q10 + 
2/3*p2*q11 + 1/3*p3*q10 + 1/3*p3*q11 + 1/3*p6*q10 + p6*q11 + 2/3*p7*q11 - 2/9*p7
*q3 - 4/9*p7*q6 - 2/9*p7*q7 - p8*q4 - 5/3*p8*q5 - 1/3*p9*q4 - p9*q5),
240*(p1*q1 + 1/10*p1*q13 + 1/4*p1*q14 + 1/40*p1*q9 - 1/12*p10*q4 - 1/60*p2*q11 +
 1/60*p2*q2 - 1/120*p2*q7 - 1/120*p3*q11 + 1/60*p3*q2 + 1/120*p3*q3 - 1/120*p3*
q6 - 1/120*p3*q7 - 1/4*p4*q4 - 1/4*p4*q5 + 7/240*p6*q2 + 1/240*p6*q3 + 1/40*p7*
q2 + 1/60*p7*q3 - 1/40*p9*q4),
210*(p1*q16 - 1/70*p10*q2 - 1/21*p10*q3 - 1/3*p12*q4 + 2/21*p2*q1 + 2/21*p2*q14 
+ 1/7*p3*q1 - 1/70*p3*q12 - 1/210*p3*q13 + 1/14*p3*q14 - 1/105*p3*q9 - 1/21*p4*
q10 - 1/21*p4*q11 - 4/105*p4*q2 - 1/21*p4*q3 - 1/21*p4*q7 + 1/70*p5*q2 + 2/21*p6
*q1 + 1/7*p7*q1 + 1/35*p8*q2 + 2/105*p9*q2),
252*(p1*q16 - 1/21*p10*q2 - 1/63*p10*q3 - 1/126*p10*q7 - 2/7*p12*q4 - 1/7*p12*q5
 + 5/126*p2*q14 + 1/126*p2*q8 + 1/63*p3*q13 + 5/63*p3*q14 + 2/63*p3*q8 + 1/126*
p4*q10 + 1/126*p4*q6 + 1/126*p4*q7 - 1/42*p5*q11 - 1/42*p5*q2 - 1/252*p5*q3 - 1/
126*p6*q1 + 1/63*p6*q14 + 2/63*p7*q8 - 1/84*p9*q2),
126*(p1*q16 - 1/42*p10*q2 - 2/63*p10*q3 - 1/3*p12*q4 + 5/63*p2*q1 + 5/63*p2*q14 
+ 10/63*p3*q1 - 1/63*p3*q13 + 1/14*p3*q14 - 1/63*p3*q8 - 1/126*p3*q9 - 5/126*p4*
q10 - 2/21*p4*q11 - 1/14*p4*q2 - 2/63*p4*q3 - 2/63*p4*q7 + 1/42*p5*q2 + 5/63*p6*
q1 + 11/63*p7*q1 + 1/126*p8*q2 + 1/42*p9*q2),
120*(p1*q1 + 1/20*p1*q12 - 3/10*p1*q8 - 1/60*p11*q10 - 1/60*p11*q11 + 1/60*p11*
q6 + 1/60*p2*q10 + 1/30*p2*q11 + 1/60*p2*q15 + 1/60*p2*q3 - 1/15*p2*q6 - 1/60*p2
*q7 + 1/60*p3*q3 - 1/60*p3*q6 - 1/3*p4*q4 + 1/10*p5*q4 + 1/40*p6*q15 + 1/40*p6*
q3 + 1/20*p7*q15 - 1/30*p7*q3 - 1/60*p9*q4),
12*(p1*q13 + 10*p1*q14 + 4*p1*q8 + 1/2*p1*q9 - 8/3*p10*q4 - 2*p10*q5 + 1/2*p2*
q11 + 1/6*p2*q7 + 1/6*p3*q10 + 1/2*p3*q11 + 1/6*p3*q6 + 1/3*p3*q7 - p5*q4 - p5*
q5 + 1/12*p6*q11 - 1/4*p6*q2 - 1/12*p6*q3 - 1/6*p7*q2 - 1/6*p7*q3 + 1/6*p7*q7 - 
1/4*p9*q4),
2*(p11*q12 + p11*q9 + 20*p2*q1 + p2*q12 - 3*p2*q9 + 10*p3*q1 + p3*q12 - 2*p3*q9 
+ 3*p4*q10 + 4*p4*q11 - p4*q2 - 7*p4*q3 - 6*p4*q6 - 2*p4*q7 + 5*p6*q1 - 10*p7*q1
 + 1/2*p8*q15 + p8*q2 + 3/2*p8*q3 - 1/2*p9*q15 - p9*q2 - 1/2*p9*q3),
1260*(p1*q16 - 5/21*p12*q4 - 2/7*p12*q5 + 1/105*p2*q13 + 1/180*p2*q9 + 1/105*p3*
q13 + 1/210*p3*q9 + 4/315*p6*q13 + 1/140*p6*q9 + 2/315*p7*q13 + 2/315*p7*q9 - 1/
630*p8*q10 - 1/630*p8*q11 - 1/630*p8*q2 - 1/630*p8*q3 - 1/630*p8*q6 - 1/630*p8*
q7 - 1/420*p9*q10 - 1/420*p9*q2 - 1/420*p9*q3 - 1/210*p9*q6 - 1/210*p9*q7),
5*(p11*q1 - 2/5*p11*q8 - 2/5*p11*q9 + 8*p2*q1 - 8/5*p2*q8 + 5*p3*q1 + 1/5*p3*q12
 - 7/5*p3*q8 + 4/5*p4*q10 + 2/5*p4*q11 - 3/5*p4*q15 - 8/5*p4*q2 - 16/5*p4*q3 - 8
/5*p4*q6 - 1/5*p4*q7 + 6/5*p5*q15 + 3/5*p5*q2 + 4/5*p5*q3 + p6*q1 - 2*p7*q1 + 3/
5*p8*q15 - 1/5*p9*q2),
630*(p1*q16 + 1/315*p10*q3 - 1/3*p12*q4 + 1/9*p2*q1 + 1/105*p2*q13 - 1/315*p2*q9
 + 1/9*p3*q1 + 1/210*p3*q12 + 1/105*p3*q13 - 23/630*p4*q10 - 4/105*p4*q11 - 4/
105*p4*q2 - 1/30*p4*q3 - 4/105*p4*q6 - 23/630*p4*q7 + 1/210*p5*q3 + 1/9*p6*q1 + 
1/9*p7*q1 - 1/315*p8*q2 + 1/630*p8*q3 - 1/210*p9*q2 - 1/630*p9*q3),
2*(p10*q3 - 3/2*p11*q12 - 1/2*p11*q13 - p11*q9 - 25*p2*q1 - p2*q13 + 3*p2*q9 - 
35/2*p3*q1 - p3*q13 + 5/2*p3*q9 - 4*p4*q10 - 12*p4*q11 + 3*p4*q2 + 17/2*p4*q3 + 
8*p4*q6 + 6*p4*q7 - 1/2*p5*q3 - 10*p6*q1 + 20*p7*q1 + 2*p8*q15 - 1/2*p8*q2 - 2*
p8*q3 + 1/2*p9*q3),
3*(p10*q15 - 1/3*p10*q3 - 2*p11*q1 - 2/3*p11*q13 + p11*q8 + 40/3*p2*q1 - 8/3*p2*
q8 + 34/3*p3*q1 + 2/3*p3*q14 - 8/3*p3*q8 + 4/3*p4*q10 + 4*p4*q11 + 2*p4*q15 - 4*
p4*q2 - 5*p4*q3 - 8/3*p4*q6 - 7/3*p4*q7 - p5*q15 + p5*q2 + 5/3*p5*q3 + 10/3*p6*
q1 - 20/3*p7*q1 + p9*q15),
1890*(p1*q16 - 5/21*p12*q4 - 2/7*p12*q5 + 1/315*p2*q12 + 2/315*p2*q13 + 2/315*p2
*q9 + 1/630*p3*q12 + 1/315*p3*q13 + 1/315*p3*q9 + 1/210*p6*q12 + 2/315*p6*q13 + 
2/315*p6*q9 + 1/315*p7*q12 + 1/315*p7*q13 + 1/315*p7*q9 - 1/378*p8*q10 - 1/630*
p8*q3 - 1/189*p8*q6 - 1/378*p8*q7 - 1/630*p9*q10 - 1/630*p9*q3 - 1/315*p9*q6 - 1
/630*p9*q7),
2*(p10*q2 + 5/2*p11*q1 + p11*q12 - p11*q8 - 30*p2*q1 + 6*p2*q8 - 35/2*p3*q1 - 1/
2*p3*q13 + 4*p3*q8 - 3*p4*q10 - 4*p4*q11 - 5/2*p4*q15 + 7/2*p4*q2 + 12*p4*q3 + 6
*p4*q6 + 2*p4*q7 + p5*q15 - 3/2*p5*q2 - 3*p5*q3 - 5*p6*q1 + 10*p7*q1 - 3/2*p8*
q15 - 3/2*p9*q15),
420*(p1*q16 - 1/105*p10*q2 - 1/35*p10*q3 - 1/70*p10*q6 - 1/105*p10*q7 - 2/7*p12*
q4 - 1/7*p12*q5 + 1/14*p2*q14 + 1/70*p2*q8 + 1/21*p3*q14 + 2/105*p3*q8 + 1/210*
p3*q9 - 1/140*p5*q10 - 1/210*p5*q11 - 1/210*p5*q2 - 1/140*p5*q3 - 1/140*p5*q7 - 
1/420*p6*q12 + 1/42*p6*q14 + 1/70*p6*q8 + 2/105*p7*q8 + 1/210*p8*q7 + 1/420*p9*
q7),
60*(p1*q1 + 1/5*p1*q12 - 3/10*p1*q9 + 1/20*p11*q10 + 1/60*p11*q2 + 1/60*p11*q3 -
 1/30*p2*q10 + 2/15*p2*q11 - 1/30*p2*q15 + 1/15*p2*q2 - 1/30*p2*q7 - 1/60*p3*q10
 + 1/15*p3*q11 - 1/60*p3*q15 + 1/20*p3*q2 - 1/30*p3*q6 - 1/30*p3*q7 - 1/3*p4*q4 
+ 1/20*p6*q2 + 1/60*p6*q3 - 1/10*p7*q2 + 2/15*p8*q4 - 1/10*p9*q4),
180*(p1*q1 - 2/5*p1*q8 + 1/10*p1*q9 - 1/90*p11*q10 - 1/90*p11*q3 - 1/30*p11*q6 -
 1/90*p11*q7 + 1/90*p2*q10 + 1/30*p2*q15 + 1/45*p2*q3 - 2/45*p2*q6 - 1/90*p2*q7 
+ 1/90*p3*q10 + 1/60*p3*q15 + 1/180*p3*q3 - 1/45*p3*q6 - 1/3*p4*q4 + 2/15*p5*q4 
+ 1/20*p6*q15 + 1/60*p6*q3 + 1/30*p7*q15 - 1/45*p7*q3 - 1/30*p8*q4),
18*(p1*q12 + 4*p1*q13 + 10*p1*q14 + 8*p1*q8 - 8/3*p10*q4 - 2*p10*q5 + 2/9*p2*q10
 + 2/9*p2*q6 + 1/3*p2*q7 + 1/9*p3*q10 + 2/9*p3*q6 + 1/9*p3*q7 - 2*p5*q4 - 2*p5*
q5 + 1/18*p6*q10 - 1/9*p6*q3 + 2/9*p6*q7 + 2/9*p7*q6 + 1/9*p7*q7 - 2/9*p8*q4 - 1
/3*p8*q5 - p9*q4 - p9*q5),
2*(p10*q3 - 5/2*p11*q1 - 1/2*p11*q12 - 1/2*p11*q13 - 5*p2*q1 + p2*q12 - 2*p2*q13
 + p2*q9 - 15/2*p3*q1 + p3*q12 - 1/2*p3*q13 - p4*q10 - 8*p4*q11 + 5/2*p4*q15 + 2
*p4*q2 + 3/2*p4*q3 + 2*p4*q6 + 4*p4*q7 - 1/2*p5*q3 - 5*p6*q1 + 10*p7*q1 - 1/2*p8
*q3 + 2*p9*q15 - 1/2*p9*q2),
1260*(p1*q16 - 1/126*p10*q10 - 1/210*p10*q2 - 1/70*p10*q3 - 2/105*p10*q6 - 4/315
*p10*q7 - 5/21*p12*q4 - 2/7*p12*q5 + 1/21*p2*q14 + 1/210*p2*q9 + 1/420*p3*q12 + 
2/63*p3*q14 + 2/315*p3*q9 + 1/420*p6*q12 + 5/126*p6*q14 + 2/315*p6*q9 + 1/63*p7*
q14 + 2/315*p7*q9 - 1/630*p8*q10 - 1/630*p8*q11 - 1/630*p8*q2 - 1/420*p8*q3 - 1/
315*p8*q7 + 1/1260*p9*q10),
90*(p1*q1 + 1/15*p1*q13 - 4/15*p1*q8 - 2/45*p10*q4 - 2/45*p11*q11 + 1/90*p11*q3 
+ 1/90*p11*q7 + 2/45*p2*q11 - 1/45*p2*q15 + 2/45*p2*q2 - 2/45*p2*q7 + 1/90*p3*
q10 + 2/45*p3*q11 + 2/45*p3*q2 - 2/45*p3*q6 - 2/45*p3*q7 - 1/3*p4*q4 + 1/9*p5*q4
 - 1/90*p6*q15 + 1/18*p6*q2 + 1/45*p6*q3 + 1/15*p7*q15 - 1/15*p7*q2 - 1/45*p7*q3
),
4*(p10*q11 - 5/4*p10*q15 - 1/2*p10*q7 - 1/4*p11*q12 + 1/4*p11*q13 + 5/4*p11*q14 
+ 1/2*p11*q8 - 1/2*p3*q12 + 1/4*p3*q13 + 3/4*p3*q8 + 1/2*p5*q11 - 1/2*p5*q15 - 1
/4*p5*q2 - 1/4*p5*q7 - 1/4*p6*q12 + 1/2*p6*q13 + 1/2*p6*q8 - 1/4*p6*q9 + 1/2*p7*
q12 - 1/2*p7*q13 - p7*q8 + 1/4*p8*q7 - 1/2*p9*q11 + 1/4*p9*q15 + 1/4*p9*q2),
120*(p1*q1 + 1/20*p1*q12 - 3/10*p1*q8 - 1/60*p11*q10 - 1/120*p11*q2 + 1/120*p11*
q3 + 1/120*p11*q7 + 1/10*p2*q2 - 1/30*p2*q7 + 1/60*p3*q10 + 1/20*p3*q11 + 1/60*
p3*q15 + 1/24*p3*q2 - 1/40*p3*q3 - 1/30*p3*q6 - 1/24*p3*q7 - 1/3*p4*q4 + 1/10*p5
*q4 + 1/40*p6*q15 + 1/40*p6*q2 + 1/40*p6*q3 + 1/20*p7*q15 - 1/20*p7*q2 - 1/60*p7
*q3 - 1/60*p9*q4),
2*(p10*q3 - 3*p11*q1 - 2*p11*q13 - 1/2*p11*q9 - 9*p2*q1 - p2*q13 - 2*p2*q14 + p2
*q8 + 2*p2*q9 - 15*p3*q1 + 3/2*p3*q9 - p4*q10 - 12*p4*q11 + 3*p4*q15 + 6*p4*q2 +
 5/2*p4*q3 + 3*p4*q6 + 6*p4*q7 - p5*q3 - 15/2*p6*q1 + 15*p7*q1 + 1/2*p8*q15 - p8
*q2 - p8*q3 + 3/2*p9*q15 + 1/2*p9*q3),
630*(p1*q16 - 1/210*p10*q10 - 2/105*p10*q2 - 1/105*p10*q3 - 4/315*p10*q6 - 2/105
*p10*q7 - 5/21*p12*q4 - 2/7*p12*q5 + 2/63*p2*q14 + 1/315*p2*q9 + 1/105*p3*q13 + 
1/21*p3*q14 + 1/105*p3*q9 + 1/315*p4*q10 + 1/210*p5*q10 + 2/315*p6*q13 + 5/126*
p6*q14 + 1/630*p6*q9 + 1/63*p7*q14 + 1/105*p7*q9 - 2/315*p8*q11 - 2/315*p8*q2 - 
1/630*p8*q3 - 1/630*p8*q7 - 1/210*p9*q2 - 1/210*p9*q7),
630*(p1*q16 - 2/105*p10*q2 - 8/315*p10*q3 - 4/315*p10*q6 - 1/126*p10*q7 - 2/7*
p12*q4 - 1/7*p12*q5 + 4/63*p2*q14 + 4/315*p2*q8 + 1/210*p3*q12 + 1/18*p3*q14 + 1
/45*p3*q8 + 1/315*p4*q7 - 2/315*p5*q10 - 1/105*p5*q11 - 1/105*p5*q2 - 2/315*p5*
q3 - 1/630*p5*q7 - 1/630*p6*q13 + 1/42*p6*q14 + 4/315*p6*q8 - 1/630*p6*q9 + 1/45
*p7*q8 - 1/315*p8*q2 + 1/630*p8*q7 + 1/315*p9*q7),
p10*q10 - 6*p10*q15 - 2*p10*q7 + 6*p11*q14 + 3*p11*q8 - p11*q9 + 6*p3*q8 - 3*p3*
q9 - p4*q10 + p4*q7 - p5*q10 + 6*p5*q11 - 3*p5*q15 - 3*p5*q2 - p5*q7 + p6*q13 + 
2*p6*q14 + 2*p6*q8 - 2*p6*q9 - 4*p7*q14 - 4*p7*q8 + 2*p7*q9 - 2*p8*q11 + p8*q15 
+ 2*p8*q2 + 2*p8*q7 - p9*q7,
840*(p1*q16 - 2/105*p10*q10 - 1/105*p10*q11 - 1/210*p10*q2 - 1/210*p10*q3 - 1/70
*p10*q6 - 1/70*p10*q7 - 4/21*p12*q4 - 3/7*p12*q5 + 1/420*p2*q12 + 1/42*p2*q14 + 
1/210*p3*q12 + 1/210*p3*q13 + 1/42*p3*q14 + 1/840*p6*q12 + 1/140*p6*q13 + 1/21*
p6*q14 + 1/210*p7*q12 + 1/105*p7*q13 + 1/21*p7*q14 + 1/210*p7*q9 + 1/420*p8*q10 
- 1/280*p9*q10 - 1/420*p9*q11 - 1/420*p9*q2 - 1/840*p9*q3 - 1/210*p9*q7),
p11*q9 + 4*p2*q12 + 16*p2*q8 - 12*p2*q9 + p3*q12 + 8*p3*q8 - 5*p3*q9 + 3*p5*q10 
+ 6*p5*q11 - 5*p5*q3 - 6*p5*q6 - 3*p5*q7 + p6*q12 + 6*p6*q8 - 3*p6*q9 - 2*p7*q12
 - 12*p7*q8 + 6*p7*q9 - 2*p8*q10 - 2*p8*q11 - 3*p8*q15 + 4*p8*q3 + 4*p8*q6 + 2*
p8*q7 + p9*q10 - p9*q3 - 2*p9*q6 - p9*q7,
2*(p10*q10 - 2*p10*q6 + p11*q13 + 3/2*p11*q8 + p2*q13 + 5*p2*q8 - 3*p2*q9 + 6*p3
*q8 - 3*p3*q9 + 1/2*p5*q10 + 6*p5*q11 - 3/2*p5*q15 - 3/2*p5*q2 - 3/2*p5*q3 - p5*
q6 - 3*p5*q7 + p6*q13 + 4*p6*q8 - 2*p6*q9 - p7*q13 - 8*p7*q8 + 3*p7*q9 - 1/2*p8*
q10 - 2*p8*q11 + p8*q2 + p8*q3 + 2*p8*q6 + p8*q7 - 3/2*p9*q15 - p9*q6),
2520*(p1*q16 - 2/7*p12*q4 - 1/7*p12*q5 + 1/420*p2*q12 + 1/105*p2*q13 + 11/630*p2
*q8 + 1/630*p2*q9 + 1/420*p3*q12 + 2/315*p3*q13 + 4/315*p3*q8 + 1/1260*p3*q9 - 
13/2520*p5*q10 - 1/420*p5*q11 - 1/420*p5*q2 - 13/2520*p5*q3 - 1/140*p5*q6 - 13/
2520*p5*q7 + 1/840*p6*q12 + 1/252*p6*q13 + 11/630*p6*q8 + 1/1260*p6*q9 + 4/315*
p7*q8 - 1/1260*p8*q2 - 1/1260*p8*q3 + 1/1260*p8*q6 - 1/1260*p8*q7 - 1/840*p9*q2 
- 1/280*p9*q3 - 1/630*p9*q6 - 1/840*p9*q7)

Computing time

On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM under Linux it took 4317 sec.