Factoring x^2+bx+c (c negative)