8*a*(b + c) - b - c
-b - c + a*(8*b + 8*c)
-b - c + 8*a*b + 8*a*c
-b - c + 8.0*a*(b + c)
(-1 + 8*a)*(b + c)