symbolic maths - solving quadratic equation