(y - 9)*(3*y - 1) - (2*y + 1)*(5*y - 7)
(-1.0 + 3.0*y)*(-9.0 + y) - (1.0 + 2.0*y)*(-7.0 + 5.0*y)
2 16 - 19*y - 7*y