Showing steps to achieved result

[dmarjenburgh]

Is it possible to see which rules have been applied in order to solve/simplify an expression?
For example, what steps were taken in:

(solve 'x '(= (+ (* x x) (* -5 x) 6) 0))
; => #{3 2}