f := 0 twith symmetries
2
f := Df *f*q4 + Df *f *q5 + Df *Df*f*q3 + Df *f *q8 + (Df ) *f*q2
s 4x 3x x 2x 2x 2x x
3 2
+ Df *Df*f *q6 + Df *f *q9 + (Df) *f*q1 + (Df) *f *q7 + Df*f *q10
x x x 3x 2x 4x
+ f *q12 + f *f *f*q11
6x 2x x
SYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!