(9 - a)*(8 + a - b)
(9.0 - a)*(8.0 + a - b)
(-9 + a)*(-8 + b - a)
2 72 + a - a - 9*b + a*b
-(-9 + a)*(8 + a - b)