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