f := D f *f*p1 + D f*D D f*p3 + D f*f *p5 + D D f *p7 + D D f*D f*p4
t 2 x 2 1 2 2 x 1 2 2x 1 2 1
+ D f *f*p2 + D f*f *p6 + f *p8
1 x 1 x 3x
with symmetries
f := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!