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


performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds.
Simplify[expr, assum]
does simplification using assumptions.
  • Simplify tries expanding, factoring and doing many other transformations on expressions, keeping track of the simplest form obtained.
  • The following options can be given:
Assumptions$Assumptionsdefault assumptions to append to assum
ComplexityFunctionAutomatichow to assess the complexity of each form generated
TimeConstraint300for how many seconds to try doing any particular transformation
TransformationFunctionsAutomaticfunctions to try in transforming the expression
TrigTruewhether to do trigonometric as well as algebraic transformations
  • Assumptions can consist of equations, inequalities, domain specifications such as xIntegers, and logical combinations of these.
  • Simplify can be used on equations, inequalities and domain specifications.
  • Quantities that appear algebraically in inequalities are always assumed to be real.
New in 1 | Last modified in 5