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