I have an expression.
Simplified it manually and got an answer.
Entered this expression into the Axiom - got another answer.
To find mistake in my manual simplification I'd like to see how the Axiom
did the simplification of the original expression step by step. Is it
possible? If yes, how?