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?

+1. I used this method all the time when dealing with Simplify/FullSimplify a lot, some years ago.
–
Leonid ShifrinNov 28 '12 at 9:53

1

One thing that I wonder is 'Does the choice of complexity function affect which transformations get applied? In other words, does Simplify do some sort of intelligent optimization or does it just try out a standard suite of transforms and return the best' I've not investigated this.
–
WalkingRandomlyNov 28 '12 at 10:03

1

IIRC, the choice of transformations does indeed depend on the complexity function generally. The problem is that the optimization seems to be rather "local" in many cases (in the space of transformations), so that it is often hard to come up with a complexity function which would significantly change the tranformation chain. But if memory serves, I managed to do this a few times for cases which were of interest to me.
–
Leonid ShifrinNov 28 '12 at 10:07

1

Something that I'd really like to do is to say to Mathematica 'Go Crazy..try as many things as you can possibly think of subject to a time limit of X seconds' Might help discover interesting relationships.
–
WalkingRandomlyNov 28 '12 at 10:11

1

I think the hardest part is actually to limit the space of possible transformation in a sensible way given the time constraints. So, in a sense, what you are thinking of is exactly what Simplify and friends should not be doing if you want any results in reasonable time. These commands don't do things the way humans do, and lack the intuition which allows humans to pick the right routes to follow.
–
Leonid ShifrinNov 28 '12 at 10:59

Mathematica is a registered trademark of Wolfram Research, Inc. While the mark is used herein with the limited permission of Wolfram Research, Stack Exchange and this site disclaim all affiliation therewith.