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
b := 0 s