Worked example: quadratic formula (negative coefficients)