Hi. Maxima has a very complicated simplifier of expressions (simplification system). Could you advise how to obtain (how to show) steps of the expression simplification? Could you describe or pinpoint corresponding parts of the source code (.lisp or .mac files)? Best regards, Mihail D