If I do
Simplify[(c^3 - s^3)^2 - (s^3 + c^3)^2,
TransformationFunctions -> Automatic]
(i.e. a verbose version of default behaviour), what transformation functions actually get applied? Similarly for FullSimplify.
The documentation says By default FullSimplify does not use Reduce:. Well how would I know? What else doesn't it use? What does it use?
tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds(I assume simplest here means also LeafCount. But may be someone knows more detailes – Nasser Dec 7 '12 at 16:05