4
b := b *p7 + Db *Db*p8 + Db *Db *p9 + Db *Db*b*p1 + b *p10 + b *b*p2
t 3x 2x x x 6x 4x
2 2 2
+ b *b *p3 + b *p5 + b *b *p4 + b *b*p6
3x x 2x 2x x
with symmetries
b := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!