
       4      3        2  2        3    4
zf := a  + 4*a *b + 8*a *b  + 4*a*b  + b

