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 xSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!