
       2                  2
xf := a  + 2*a*b + 2*a + b  + 2*b + 1

