2 2
f := Df *f*p1 + Df *Df*f*p2 + Df *f *p8 + (Df ) *f*p3 + Df *(Df) *f*p4
t 3x 2x 2x x x x
4 3 2
+ Df *Df*f *p7 + Df *f *p9 + (Df) *f*p5 + (Df) *f *p6 + (Df) *f *p10
x x x 2x x 2x
+ Df*f *p11 + f *p13 + f *f *f*p12
3x 4x 2x x
with symmetries
f := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!