The documentation for Simplify[expr] says that it performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. How can I see which transformations it applies?
I thought of this question while on the train but the solution appeared in my brain as soon as I got into work. All you need to do is create a ComplexityFunction that includes a side effect
This gives the following output
Note that this shows every expression that the ComplexityFunction is applied to. Clearly
It is interesting to also apply this to FullSimplify to see all of the extra transformations that get applied
|show 2 more comments|