Is it possible to see which rules have been applied in order to solve/simplify an expression? For example, what steps were taken in: ```clj (solve 'x '(= (+ (* x x) (* -5 x) 6) 0)) ; => #{3 2} ```