FullSimplify

FullSimplify[expr]: simplifies expr using an extended set of simplification rules.
FullSimplify[expr, assump]: simplifies expr assuming assump instead of Assumptions.

TODO: implement the extension. By now, this does the same than Simplify...