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


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

Problem

Find equations

                     2
f  := Df *f*p1 + (Df) *f*p2 + Df*f *p3 + f  *p4
 t      x                         x       2x

with symmetries
                                                                        2
f  := Df  *f*q1 + Df  *Df*f*q2 + Df  *f *q26 + Df  *Df *f*q4 + Df  *(Df) *f*q3
 s      6x          5x             5x  x         4x   x          4x

       + Df  *Df*f *q25 + Df  *f  *q30 + Df  *Df  *f*q7 + Df  *Df *Df*f*q6
           4x     x         4x  2x         3x   2x          3x   x

                                    3                 2
       + Df  *Df *f *q23 + Df  *(Df) *f*q5 + Df  *(Df) *f *q24 + Df  *Df*f  *q31
           3x   x  x         3x                3x        x         3x     2x

                              2                 2                    2
       + Df  *f  *q44 + (Df  ) *Df*f*q9 + (Df  ) *f *q22 + Df  *(Df ) *f*q11
           3x  3x          2x                2x    x         2x    x

                      2
       + Df  *Df *(Df) *f*q10 + Df  *Df *Df*f *q20 + Df  *Df *f  *q33
           2x   x                 2x   x     x         2x   x  2x

                  4                 3                   2
       + Df  *(Df) *f*q8 + Df  *(Df) *f *q21 + Df  *(Df) *f  *q32
           2x                2x        x         2x        2x

                                                                   3
       + Df  *Df*f  *q43 + Df  *f  *q46 + Df  *f  *f *f*q27 + (Df ) *Df*f*q14
           2x     3x         2x  4x         2x  2x  x            x

              3               2     3              2     2
       + (Df ) *f *q19 + (Df ) *(Df) *f*q13 + (Df ) *(Df) *f *q17
            x    x          x                    x          x

              2                   2                   5                 4
       + (Df ) *Df*f  *q35 + (Df ) *f  *q42 + Df *(Df) *f*q12 + Df *(Df) *f *q18
            x       2x          x    3x         x                 x        x

                 3                   2
       + Df *(Df) *f  *q34 + Df *(Df) *f  *q41 + Df *Df*f  *q47
           x        2x         x        3x         x     4x

                                                                    7
       + Df *Df*f  *f *f*q28 + Df *f  *q50 + Df *f  *f *f*q39 + (Df) *f*q15
           x     2x  x           x  5x         x  3x  x

             6              5               4               3
       + (Df) *f *q16 + (Df) *f  *q36 + (Df) *f  *q40 + (Df) *f  *q48
                x              2x              3x              4x

             3                    2               2
       + (Df) *f  *f *f*q29 + (Df) *f  *q49 + (Df) *f  *f *f*q38 + Df*f  *q51
                2x  x                5x              3x  x             6x

       + Df*f  *f *f*q45 + Df*f  *f  *f*q37 + f  *q55 + f  *f *f*q52
             4x  x             3x  2x          7x        5x  x

       + f  *f  *f*q53 + f  *f  *f *q54
          4x  2x          3x  2x  x

Unknowns

All solutions for the following 59 unknowns have to be determined:
p1,p2,p3,p4,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q19,
q20,q21,q22,q23,q24,q25,q26,q27,q28,q29,q30,q31,q32,q33,q34,q35,q36,q37,q38,q39,
q40,q41,q42,q43,q44,q45,q46,q47,q48,q49,q50,q51,q52,q53,q54,q55

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.
{q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36,q35
,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15
,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1,p3,p2,p1}
{q55,q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36
,q35,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16
,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{p4,p3,p2,p1}

Equations

All comma separated 125 expressions involving 995 terms have to vanish.
p2*q51,
p2*q1,
p2*q49,
p2*q2,
p2*q48,
p2*q3,
p2*q40,
p2*q5,
p2*q36,
p2*q8,
p2*q15,
7*(p3*q55 - 2/7*p4*q51),
7*(p1*q55 - 2/7*p4*q1),
6*(p2*q16 - 1/6*p3*q15),
p1*q15 - 6*p2*q12,
7*(p1*q55 + 3*p3*q55 - 2/7*p4*q50),
21*(p1*q55 + 5/3*p3*q55 - 2/21*p4*q46),
35*(p1*q55 + p3*q55 - 2/35*p4*q44),
35*(p1*q55 + 3/5*p3*q55 - 2/35*p4*q30),
21*(p1*q55 + 1/3*p3*q55 - 2/21*p4*q26),
5*(p1*q1 - 2/5*p1*q26 + 1/5*p1*q51 + 1/5*p3*q1),
p1*q51 + 14*p2*q55 + 6*p3*q51 - 4*p4*q49,
2*(p1*q49 + 3/2*p2*q50 + 6*p2*q51 + 5/2*p3*q49 - 3*p4*q48),
3*(p1*q48 + 4/3*p2*q47 + 10/3*p2*q49 + 4/3*p3*q48 - 8/3*p4*q40),
4*(p1*q40 + 5/4*p2*q41 + 2*p2*q48 + 3/4*p3*q40 - 5/2*p4*q36),
p1*q50 + 42*p2*q55 + 6*p3*q50 - 2*p4*q47 - 2*p4*q49,
p1*q50 + 6*p1*q51 + 42*p2*q55 + 15*p3*q51 - 2*p4*q47,
p1*q46 + 15*p1*q51 + 70*p2*q55 + 20*p3*q51 - 2*p4*q43,
p1*q44 + 20*p1*q51 + 70*p2*q55 + 15*p3*q51 - 2*p4*q31,
p1*q30 + 15*p1*q51 + 42*p2*q55 + 6*p3*q51 - 2*p4*q25,
p1*q26 + 6*p1*q51 + 14*p2*q55 - p3*q1 - 2*p4*q2,
5*(p1*q36 + 6/5*p2*q34 + 6/5*p2*q40 + 2/5*p3*q36 - 12/5*p4*q16),
6*(p1*q16 + 7/6*p2*q18 + 2/3*p2*q36 - 1/6*p3*q12 - 7/3*p4*q15),
2*(p1*q42 + 3*p2*q44 + 10*p2*q50 + 5/2*p3*q42 - p4*q35 - p4*q41),
p1*q47 + 5*p1*q49 + 3*p2*q46 + 30*p2*q51 + 10*p3*q49 - 2*p4*q41,
p1*q33 - 3*p1*q7 - 90*p2*q1 - 6*p2*q46 - 3*p3*q7 + 2*p4*q11,
p1*q43 + 10*p1*q49 + 3*p2*q44 + 40*p2*q51 + 10*p3*q49 - 2*p4*q32,
10*(p1*q2 - 1/10*p1*q43 + 6*p2*q1 + 2*p2*q51 + p3*q2 - 1/5*p4*q9),
p1*q31 + 10*p1*q49 + 3*p2*q30 + 30*p2*q51 + 5*p3*q49 - 2*p4*q24,
p1*q25 + 5*p1*q49 + 3*p2*q26 + 12*p2*q51 - p3*q2 - 2*p4*q3,
3*(p1*q19 + 2*p2*q23 + 2*p2*q42 + p3*q19 - 2/3*p4*q14 - 2/3*p4*q17),
p1*q41 + 4*p1*q48 + 4*p2*q43 + 20*p2*q49 + 6*p3*q48 - 2*p4*q34,
p1*q32 + 6*p1*q48 + 4*p2*q31 + 20*p2*q49 + 4*p3*q48 - 2*p4*q21,
p1*q24 + 4*p1*q48 + 4*p2*q25 + 10*p2*q49 - p3*q3 - 2*p4*q5,
p1*q34 + 3*p1*q40 + 5*p2*q32 + 12*p2*q48 + 3*p3*q40 - 2*p4*q18,
p1*q21 + 3*p1*q40 + 5*p2*q24 + 8*p2*q48 - p3*q5 - 2*p4*q8,
14*(p1*q1 - 1/14*p1*q30 - 1/7*p1*q44 + 1/14*p1*q46 + 1/7*p1*q50 - 1/7*p4*q53),
14*(p1*q1 - 1/14*p1*q26 - 1/7*p1*q30 + 1/14*p1*q50 + 1/7*p1*q51 - 1/7*p4*q52),
10*(p1*q26 + 3/10*p1*q44 + 14*p2*q55 + p3*q26 - 1/5*p4*q22 - 1/5*p4*q7),
35*(p1*q1 - 1/35*p1*q44 - 1/35*p1*q46 + 2*p2*q55 + p3*q1 - 2/35*p4*q7),
21*(p1*q1 - 1/21*p1*q30 - 1/21*p1*q50 + 2*p2*q55 + p3*q1 - 2/21*p4*q4),
6*(p1*q1 - 1/6*p1*q26 - 1/6*p1*q51 + 7/3*p2*q55 + 7/6*p3*q1 - 1/3*p4*q2),
p1*q18 + 2*p1*q36 + 6*p2*q21 + 6*p2*q40 - p3*q8 - 2*p4*q12,
6*(p1*q16 + 2/3*p2*q18 - 1/2*p2*q29 - 10/3*p2*q36 - 1/3*p2*q8 - 1/6*p3*q12),
6*(p1*q16 - 7/6*p2*q13 - 1/3*p2*q36 - p2*q8 - 1/6*p3*q12 + 7*p4*q15),
2*(p1*q47 + 3*p2*q46 + 5*p2*q50 + 15*p2*q51 + 5/2*p3*q47 - 2*p4*q41 - 3*p4*q48),
15*(p1*q2 - 1/15*p1*q31 - 1/15*p1*q47 + 6*p2*q1 + 2*p2*q51 + p3*q2 - 2/15*p4*q6)
,
5*(p1*q2 - 1/5*p1*q25 - 2/5*p1*q49 + 36/5*p2*q1 + 12/5*p2*q51 + 6/5*p3*q2 - 4/5*
p4*q3),
2*(p1*q14 - p1*q17 + 3*p2*q11 + p2*q35 + 3*p2*q6 + 3/2*p3*q14 - 3*p4*q13),
p1*q34 - 3*p1*q5 - 18*p2*q3 - 6*p2*q48 - 5*p2*q9 - 3*p3*q5 + 2*p4*q13,
5*(p1*q26 - 3/5*p1*q44 + 2/5*p1*q46 - 1/5*p3*q44 + 1/5*p3*q46 - 2/5*p4*q53 - 2/5
*p4*q54),
9*(p1*q26 - 4/9*p1*q30 + 1/9*p1*q50 - 1/9*p3*q30 + 1/9*p3*q50 - 2/9*p4*q52 - 2/9
*p4*q53),
3*(p1*q44 + 4/3*p1*q46 + 70*p2*q55 + p3*q44 + 2*p3*q46 - 2/3*p4*q33 - 2/3*p4*q42
),
6*(p1*q26 + 5/6*p1*q50 + 14*p2*q55 + p3*q26 - 1/3*p4*q2 - 1/3*p4*q25 - 1/3*p4*q4
),
4*(p1*q2 - 1/2*p1*q25 + 1/2*p1*q49 - 1/4*p1*q52 + 5/2*p2*q1 - p2*q26 + p2*q51 + 
1/4*p3*q2),
2*(p1*q24 - 3/2*p1*q3 + 1/2*p1*q45 - 3/2*p1*q48 - 4*p2*q2 + 2*p2*q25 - 4*p2*q49 
- 1/2*p3*q3),
3*(p1*q41 + 2*p2*q42 + 2*p2*q43 + 8/3*p2*q47 + 20/3*p2*q49 + 4/3*p3*q41 - 2*p4*
q34 - 4*p4*q40),
3*(p1*q35 + 2*p2*q31 + 2*p2*q33 + 2*p2*q42 + 4*p2*q47 + 4/3*p3*q35 - 4/3*p4*q17 
- 2*p4*q34),
10*(p1*q3 - 1/10*p1*q32 - 1/10*p1*q41 + 6*p2*q2 + 2*p2*q49 + 2/5*p2*q7 + p3*q3 -
 1/5*p4*q10),
p1*q24 - 4*p1*q3 + 3*p1*q48 - 30*p2*q2 - 4*p2*q4 - 10*p2*q49 - 5*p3*q3 + 6*p4*q5
,
4*(p1*q34 + 3/2*p2*q32 + 7/4*p2*q35 + 3/2*p2*q41 + 3*p2*q48 + 3/4*p3*q34 - 2*p4*
q18 - 5*p4*q36),
p1*q21 + 4*p1*q40 - 3*p1*q5 - 24*p2*q3 - 8*p2*q48 - 5*p2*q6 - 4*p3*q5 + 8*p4*q8,
3*(p1*q46 + 5/3*p1*q50 + 70*p2*q55 + 7/3*p3*q46 + 10/3*p3*q50 - 4/3*p4*q42 - 2/3
*p4*q43 - 2/3*p4*q47),
4*(p1*q44 + 5/2*p1*q50 + 70*p2*q55 + 7/4*p3*q44 + 5/2*p3*q50 - 1/2*p4*q31 - 1/2*
p4*q33 - 1/2*p4*q43),
5*(p1*q30 + 2*p1*q50 + 42*p2*q55 + 7/5*p3*q30 + p3*q50 - 2/5*p4*q23 - 2/5*p4*q25
 - 2/5*p4*q31),
15*(p1*q26 + 2/15*p1*q30 + 4/15*p1*q46 + 14*p2*q55 + p3*q26 - 2/15*p4*q23 - 2/15
*p4*q4 - 2/15*p4*q7),
p1*q13 - 4*p1*q18 + 6*p2*q10 + 8*p2*q14 + 2*p2*q34 + 6*p2*q5 + 2*p3*q13 - 20*p4*
q12,
p1*q18 + 5*p1*q36 - 2*p1*q8 - 6*p2*q10 - 6*p2*q40 - 18*p2*q5 - 3*p3*q8 + 10*p4*
q12,
5*(p1*q2 - 1/5*p1*q31 - 1/5*p1*q43 + 2/5*p1*q47 - 1/5*p1*q53 + 2*p2*q1 - 4/5*p2*
q44 + 4/5*p2*q46 - 2/5*p4*q37),
2*(p1*q21 + 1/2*p1*q38 - 2*p1*q40 - p1*q5 + 2*p2*q24 - 3*p2*q3 - 1/2*p2*q45 - 6*
p2*q48 - 1/2*p3*q5),
2*(p1*q18 + 1/2*p1*q29 - 5/2*p1*q36 - 1/2*p1*q8 + 2*p2*q21 - p2*q38 - 8*p2*q40 -
 2*p2*q5 - 1/2*p3*q8),
5*(p1*q18 + 8/5*p2*q17 + 6/5*p2*q21 + 4/5*p2*q34 + 6/5*p2*q40 - 1/5*p3*q13 + 1/5
*p3*q18 - 2*p4*q12 - 6*p4*q16),
3*(p1*q31 + 1/3*p1*q33 + p1*q43 + 6*p2*q30 + 4*p2*q46 + 30*p2*q51 + p3*q31 + p3*
q43 - 2/3*p4*q20 - 2/3*p4*q35),
5*(p1*q23 + 3/5*p1*q42 + 12*p2*q26 + 6/5*p2*q44 + 8*p2*q50 + p3*q23 - 2/5*p4*q11
 - 2/5*p4*q20 - 2/5*p4*q24 - 2/5*p4*q6),
p1*q23 + p1*q25 - p1*q31 - 10*p1*q52 + 5*p1*q53 - 30*p2*q1 + 10*p2*q26 - 2*p2*
q30 - p3*q4 - 5*p3*q52,
p1*q23 + p1*q25 - 5*p1*q4 + p1*q47 - 90*p2*q1 - 2*p2*q30 - 10*p2*q50 - 6*p3*q4 +
 2*p4*q3 + 2*p4*q6,
p1*q21 + p1*q34 + p1*q38 - 8*p1*q40 - 2*p1*q5 - 4*p2*q3 + 4*p2*q32 - p2*q37 - 4*
p2*q41 + 2*p4*q29,
4*(p1*q17 + 9/4*p2*q19 + 3/2*p2*q20 + 3/2*p2*q24 + p2*q35 + 3/2*p2*q41 - 1/4*p3*
q14 + 1/2*p3*q17 - 3/2*p4*q13 - 3*p4*q18),
10*(p1*q30 + 3/10*p1*q44 + 3/5*p1*q46 + 42*p2*q55 + p3*q30 + 3/10*p3*q44 + 2/5*
p3*q46 - 2/5*p4*q22 - 1/5*p4*q23 - 1/5*p4*q33),
5*(p1*q25 - 3/5*p1*q31 + 1/5*p1*q47 + 2*p2*q26 - 6/5*p2*q30 + 2/5*p2*q46 - 1/5*
p3*q31 + 1/5*p3*q47 - 1/5*p3*q53 - 2/5*p4*q37 - 2/5*p4*q45),
9*(p1*q2 - 1/9*p1*q25 - 2/9*p1*q31 + 1/9*p1*q47 + 4/9*p1*q49 - 1/9*p1*q52 - 1/9*
p1*q53 + 2*p2*q1 - 4/9*p2*q30 + 4/9*p2*q50 - 2/9*p4*q45),
4*(p1*q33 + 3/4*p1*q42 + 9*p2*q30 + 3*p2*q46 + 15*p2*q50 + 3/2*p3*q33 + 3/4*p3*
q42 - 3/2*p4*q19 - 1/2*p4*q20 - 1/2*p4*q32 - p4*q35),
2*(p1*q24 - p1*q32 + 1/2*p1*q41 + 2*p2*q25 - 2*p2*q31 + p2*q43 + p2*q54 - 1/2*p3
*q32 - 1/2*p3*q37 + 1/2*p3*q41 - p4*q38),
p1*q24 - 5*p1*q3 + 2*p1*q32 + p1*q37 - p1*q41 + p1*q45 - 6*p1*q48 - 10*p2*q2 + 4
*p2*q31 - 4*p2*q47 + 2*p4*q38,
4*(p1*q11 - 3/4*p1*q19 - 1/4*p1*q20 - 1/4*p1*q35 + 1/2*p2*q33 + 9*p2*q4 + 3/2*p2
*q42 + 3/2*p2*q7 + 5/4*p3*q11 - 1/2*p4*q10 - 3/2*p4*q14),
p1*q20 + 3*p1*q24 + 2*p1*q32 + 6*p2*q22 + 18*p2*q25 + 6*p2*q43 + 30*p2*q49 + 3*
p3*q24 - p3*q9 - 2*p4*q10 - 2*p4*q17,
2*(p1*q23 - p1*q33 + p1*q42 + p1*q54 + 10*p2*q26 - 8*p2*q30 + 3*p2*q44 - 1/2*p3*
q33 + p3*q42 + 5/2*p3*q54 - p4*q37 - p4*q39),
2*(p1*q23 + 1/2*p1*q25 - 3/2*p1*q4 - 1/2*p1*q47 - p1*q49 - p1*q52 - 24*p2*q1 + 5
*p2*q26 - p2*q50 - 1/2*p3*q4 - 5/2*p3*q52 + p4*q45),
p1*q42 + 2*p1*q43 + 2*p1*q47 + 9*p2*q44 + 4*p2*q46 + 10*p2*q50 + 60*p2*q51 + 3*
p3*q43 + 3*p3*q47 - 2*p4*q32 - 2*p4*q35 - 2*p4*q41,
6*(p1*q22 + 1/2*p1*q23 + 1/3*p1*q33 + 15*p2*q26 + 4*p2*q46 + 5*p2*q50 + p3*q22 +
 1/2*p3*q23 - 2/3*p4*q11 - p4*q19 - 1/3*p4*q20 - 1/3*p4*q9),
5*(p1*q31 + 1/5*p1*q33 + 6/5*p1*q47 + 24/5*p2*q30 + 6/5*p2*q44 + 4*p2*q50 + 24*
p2*q51 + 6/5*p3*q31 + 4/5*p3*q47 - 2/5*p4*q20 - 4/5*p4*q24 - 4/5*p4*q32),
p1*q23 + 6*p1*q25 + 4*p1*q47 + 30*p2*q26 + 4*p2*q30 + 10*p2*q50 + 60*p2*q51 + 5*
p3*q25 - p3*q4 - 4*p4*q24 - 4*p4*q3 - 2*p4*q6,
p1*q20 + 2*p1*q24 + 2*p1*q41 - 4*p1*q6 - 60*p2*q2 - 2*p2*q31 - 24*p2*q4 - 8*p2*
q47 - 6*p2*q7 - 5*p3*q6 + 4*p4*q10 + 6*p4*q5,
4*(p1*q18 - 1/4*p1*q29 - 5/2*p1*q36 - 1/4*p2*q10 + p2*q17 + 1/2*p2*q21 - 1/2*p2*
q28 - 7/4*p2*q34 - 3/4*p2*q38 - 3/4*p2*q5 - 1/4*p3*q13 - 1/4*p3*q29),
2*(p1*q22 + p1*q33 - p1*q42 - p1*q43 - 2*p1*q53 - 1/2*p1*q54 - p1*q7 - 30*p2*q1 
+ 6*p2*q30 - 3*p2*q44 - 3*p3*q53 + p4*q27 + p4*q39),
2*(p1*q22 + p1*q23 - 1/2*p1*q31 - 1/2*p1*q43 - 5*p1*q52 + 1/2*p1*q54 - 1/2*p1*q7
 - 40*p2*q1 + 10*p2*q26 - p2*q44 - 5*p3*q52 - 1/2*p3*q7 + p4*q27),
5*(p1*q32 + 2/5*p1*q35 + 3/5*p1*q41 + 18/5*p2*q31 + 6/5*p2*q33 + 6/5*p2*q43 + 12
/5*p2*q47 + 12*p2*q49 + p3*q32 + 3/5*p3*q41 - 4/5*p4*q17 - 6/5*p4*q21 - 6/5*p4*
q34),
p1*q20 + 6*p1*q24 + 3*p1*q41 + 6*p2*q23 + 24*p2*q25 + 4*p2*q31 + 8*p2*q47 + 40*
p2*q49 + 4*p3*q24 - p3*q6 - 2*p4*q10 - 6*p4*q21 - 6*p4*q5,
2*(p1*q17 + 3*p1*q21 + p1*q34 + 7/2*p2*q20 + 9*p2*q24 + 2*p2*q32 + 3*p2*q41 + 12
*p2*q48 - 1/2*p3*q10 + 3/2*p3*q21 - 2*p4*q13 - 4*p4*q18 - 4*p4*q8),
3*(p1*q10 - 2/3*p1*q17 - p1*q21 - p1*q34 + 7/3*p2*q11 + 12*p2*q3 + 2/3*p2*q32 + 
2*p2*q41 + 6*p2*q6 + 4*p2*q9 + 4/3*p3*q10 - 4*p4*q13 - 4*p4*q8),
4*(p1*q22 + 1/4*p1*q23 - 1/4*p1*q43 - 1/4*p1*q47 - 5/4*p1*q52 - 3/4*p1*q53 - 1/4
*p1*q54 - 1/2*p1*q7 - 45/2*p2*q1 + 5*p2*q26 - 1/2*p2*q46 - 5/2*p3*q52 - 1/4*p3*
q7 + 1/2*p4*q39),
2*(p1*q22 + 1/2*p1*q23 + 5*p1*q25 + p1*q31 + 3/2*p1*q43 + 30*p2*q26 + 3*p2*q44 +
 4*p2*q46 + 60*p2*q51 + 5*p3*q25 - 1/2*p3*q7 - p4*q20 - p4*q6 - 2*p4*q9),
p1*q20 + 2*p1*q32 + 2*p1*q35 - 3*p1*q6 - 5*p1*q9 - 90*p2*q2 - 18*p2*q4 - 6*p2*
q43 - 6*p2*q47 - 18*p2*q7 - 3*p3*q6 - 6*p3*q9 + 4*p4*q10 + 6*p4*q14,
p1*q20 + 2*p1*q24 - 2*p1*q32 + 4*p1*q37 - 6*p1*q45 - 20*p2*q2 + 4*p2*q23 + 8*p2*
q25 - 6*p2*q31 - 20*p2*q52 + 8*p2*q53 - 2*p2*q7 - 4*p3*q45 - p3*q6,
2*(p1*q17 + 3/2*p1*q21 - 3/2*p1*q34 - 3/2*p1*q38 + 2*p2*q20 + 3*p2*q24 - 3/2*p2*
q27 - 6*p2*q3 - 5*p2*q32 + 3*p2*q37 - 6*p2*q45 - 2*p2*q9 - 1/2*p3*q10 - 3/2*p3*
q38),
p1*q23 + p1*q31 + 2*p1*q33 - 5*p1*q4 - 2*p1*q42 - 3*p1*q47 - p1*q53 + p1*q54 - 
60*p2*q1 + 8*p2*q30 - 4*p2*q46 - 6*p3*q53 + 2*p4*q37 + 2*p4*q39 + 2*p4*q45,
p1*q11 - 6*p1*q19 - p1*q20 + p1*q35 + 3*p1*q39 + 2*p1*q41 - 6*p2*q23 + 16*p2*q4 
+ 4*p2*q42 + 20*p2*q52 - 2*p2*q54 + p3*q11 + 4*p3*q39 - 2*p4*q28 - 2*p4*q38,
6*(p1*q17 - 1/2*p1*q28 - p1*q34 - 1/3*p2*q11 + 2*p2*q19 + 2/3*p2*q20 - p2*q27 - 
4/3*p2*q35 + p2*q37 - p2*q39 - 2*p2*q45 - p2*q6 - 1/2*p3*q14 - 1/2*p3*q28 + p4*
q29),
3*(p1*q20 + 1/3*p1*q27 - 2/3*p1*q32 - p1*q37 - 2/3*p1*q41 - 4/3*p1*q45 - 2/3*p1*
q9 - 40/3*p2*q2 + 8/3*p2*q22 + 4*p2*q25 - 2*p2*q43 - 20/3*p2*q52 - 4/3*p2*q7 - 2
*p3*q45 - 2/3*p3*q9 + 2/3*p4*q28),
3*(p1*q19 + 5/3*p1*q20 + 2/3*p1*q35 + 4*p2*q22 + 6*p2*q23 + 12*p2*q25 + 4/3*p2*
q33 + 2*p2*q42 + 2*p2*q43 + 8*p2*q47 - 1/3*p3*q11 + 4/3*p3*q20 - 4/3*p4*q10 - 2*
p4*q14 - 8/3*p4*q17 - 2*p4*q21),
2*(p1*q22 + 1/2*p1*q23 + 1/2*p1*q31 + 1/2*p1*q33 - 5*p1*q4 + p1*q42 + 1/2*p1*q43
 - 3*p1*q7 - 180*p2*q1 - 3*p2*q44 - 4*p2*q46 - 10*p2*q50 - 5*p3*q4 - 7/2*p3*q7 +
 2*p4*q11 + p4*q6 + 2*p4*q9),
p1*q20 + 2*p1*q32 + 2*p1*q35 - p1*q37 + p1*q39 - 6*p1*q41 - 2*p1*q6 - 20*p2*q2 +
 6*p2*q31 + 4*p2*q33 - 4*p2*q4 - 8*p2*q42 - 4*p2*q43 - 8*p2*q53 - 5*p3*q37 + 2*
p4*q28 + 4*p4*q38,
2*(p1*q20 + p1*q24 + 1/2*p1*q39 - p1*q41 - p1*q45 - 3*p1*q48 - p1*q6 - 15*p2*q2 
+ 2*p2*q23 + 4*p2*q25 - 3*p2*q4 - 3*p2*q47 - 5*p2*q52 - 2*p2*q53 - 2*p3*q45 - 1/
2*p3*q6 + 2*p4*q38),
6*(p1*q19 + 1/3*p1*q20 - 5/6*p1*q27 - 1/3*p1*q32 - 1/3*p1*q35 - 1/2*p1*q39 + 4/3
*p2*q22 + p2*q23 - 2/3*p2*q33 - 2*p2*q4 - 10*p2*q52 + 4*p2*q53 - p2*q54 - p2*q7 
- 1/3*p3*q11 - 5/6*p3*q27 - 1/2*p3*q39 + 1/3*p4*q28),
p1*q10 - 4*p1*q17 - 3*p1*q21 - p1*q28 + 3*p1*q34 + 2*p1*q38 + 12*p1*q40 - 4*p2*
q20 - 6*p2*q24 + 16*p2*q3 + 4*p2*q37 + 3*p2*q39 + 10*p2*q41 + 8*p2*q45 + 4*p2*q6
 + p3*q10 + 3*p3*q38 - 6*p4*q29

Computing time

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