f(2) := - 2*p1*(f(2)*b(1) + f(1)*b(2)) t b(2) := 2*b(2)*b(1)*p1 + Df(2)*p2 t with symmetries
3 4 5
f(2) := b(2)*b(1) *f(1) *q171 + b(1) *f(2) *q166 + Db(2)*b(1) *q131
s x x
2
+ Db(2)*Db(1)*f(1)*b(1) *q138 - Db(2)*f(1)*b(1)*f(1) *q134
x
4
+ Db(1)*b(2)*b(1) *q139 - Db(1)*f(2)*b(1)*f(1) *q145
x
- Db(1)*f(2)*f(1)*b(1) *q142 - Db(1)*f(1)*b(2)*f(1) *q146
x x
- Db(1)*f(1)*b(1)*f(2) *q147 - Db(1) *f(2)*f(1)*b(1)*q154
x x
2 2
+ Df(2) *f(1)*b(1) *q164 + Df(1) *f(2)*b(1) *q161
x x
2
+ Df(1) *f(1)*b(2)*b(1)*q160 + Df(2)*b(1) *f(1) *q97
x x
3
+ Df(2)*Db(1)*b(1) *q101 + Df(2)*Df(1) *f(1)*q98
x
+ Df(2)*Df(1)*Db(1)*b(1)*q102 + Df(2)*Df(1)*f(1) *q103
x
2
+ Df(2)*f(1)*b(1)*b(1) *q95 + (Df(1)) *Db(2)*b(1)*q129
x
2 2
+ (Df(1)) *Db(1)*b(2)*q126 + (Df(1)) *f(2) *q118
x
2
+ Df(1)*b(2)*b(1)*f(1) *q114 + Df(1)*b(1) *f(2) *q117
x x
3
+ Df(1)*Db(2)*b(1) *q130 + Df(1)*Db(2)*Db(1)*f(1)*q127
2
+ Df(1)*Db(1)*b(2)*b(1) *q125 + Df(1)*Df(2) *f(1)*q119
x
+ Df(1)*Df(1) *f(2)*q120 + Df(1)*f(2)*b(1)*b(1) *q111
x x
+ Df(1)*f(1)*b(2)*b(1) *q112 + Df(1)*f(1)*b(1)*b(2) *q113
x x
3
+ f(2)*b(1) *b(1) *q182 - f(2)*f(1)*f(1) *q175
x 2x
2 3
+ f(1)*b(2)*b(1) *b(1) *q181 + f(1)*b(1) *b(2) *q177
x x
+ f(1)*f(2) *f(1) *q168
x x
3 4
b(2) := b(2)*b(1) *b(1) *q88 + b(1) *b(2) *q83 + b(1)*f(2) *f(1) *q75
s x x x x
2 3
+ Db(2)*b(1) *f(1) *q41 + Db(2)*Db(1)*b(1) *q45
x
+ Db(2)*Df(1) *f(1)*q42 + Db(2)*f(1)*b(1)*b(1) *q39
x x
2
+ Db(1)*b(2)*b(1)*f(1) *q51 + Db(1)*b(1) *f(2) *q54
x x
+ Db(1)*Df(2) *f(1)*q55 + Db(1)*Df(1) *f(2)*q56
x x
+ Db(1)*f(2)*b(1)*b(1) *q48 + Db(1)*f(1)*b(2)*b(1) *q49
x x
2
+ Db(1)*f(1)*b(1)*b(2) *q50 + Db(2) *f(1)*b(1) *q64
x x
2 3
+ Db(1) *f(2)*b(1) *q61 + Db(1) *f(1)*b(2)*b(1)*q60 + Df(2) *b(1) *q71
x x x
2 2
+ Df(1) *b(2)*b(1) *q67 + Df(2)*b(1) *b(1) *q3 + Df(2)*Db(1)*f(1) *q7
x x x
+ Df(2)*Db(1) *f(1)*q6 + Df(2)*Df(1) *b(1)*q5 + Df(2)*Df(1)*b(1) *q10
x x x
2
+ (Df(1)) *b(2) *q22 + Df(1)*b(2)*b(1)*b(1) *q18
x x
2
+ Df(1)*b(1) *b(2) *q21 + Df(1)*Db(2)*Db(1)*b(1)*q34
x
+ Df(1)*Db(2)*f(1) *q35 + Df(1)*Db(1)*f(2) *q30
x x
+ Df(1)*Db(2) *f(1)*q28 + Df(1)*Db(1) *f(2)*q29
x x
+ Df(1)*Df(2) *b(1)*q26 + Df(1)*Df(1) *b(2)*q27 - f(2)*b(1)*f(1) *q82
x x 2x
- f(2)*f(1) *b(1) *q79 - f(2)*f(1)*b(1) *q90 - f(1)*b(2)*f(1) *q81
x x 2x 2x
- f(1)*b(1)*f(2) *q76 - f(1)*f(2) *b(1) *q74 - f(1)*f(1) *b(2) *q80
2x x x x x