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 := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!