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