This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)


Updated In 6 Graphic
tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds.
FullSimplify[expr, assum]
does simplification using assumptions.
  • FullSimplify will always yield at least as simple a form as Simplify, but may take substantially longer.
  • The following options can be given:
Assumptions$Assumptionsdefault assumptions to append to assum
ComplexityFunctionAutomatichow to assess the complexity of each form generated
ExcludedForms{}patterns specifying forms of subexpression that should not be touched
TimeConstraintInfinityfor how many seconds to try doing any particular transformation
TransformationFunctionsAutomaticfunctions to try in transforming the expression
  • FullSimplify does transformations on most kinds of special functions.
  • With assumptions of the form ForAll[vars, axioms], FullSimplify can simplify expressions and equations involving symbolic functions.  »
Simplify an expression involving special functions:
Click for copyable input
Simplify using assumptions:
Click for copyable input
Prove a simple theorem from the assumption of associativity:
Click for copyable input
New in 3 | Last modified in 6