>>64
ab^2 + b + c - ac^2
= (b^2 - c^2)a + (b+c)
= (b + c)(b - c)a + (b + c)

これで終わりなんですね？
試しに展開してみたいと思います。