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