# Wolfram Language & System 10.4 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.
BUILT-IN WOLFRAM LANGUAGE SYMBOL

# Simplify

Simplify[expr]
performs a sequence of algebraic and other transformations on expr and returns the simplest form it finds.

Simplify[expr,assum]
does simplification using assumptions.

## Details and OptionsDetails and Options

• Simplify tries expanding, factoring, and doing many other transformations on expressions, keeping track of the simplest form obtained.
• Simplify can be used on equations, inequalities, and domain specifications.
• Quantities that appear algebraically in inequalities are always assumed to be real.
• FullSimplify does more extensive simplification than Simplify.
• You can specify default assumptions for Simplify using Assuming.
• The following options can be given:
•  Assumptions \$Assumptions default assumptions to append to assum ComplexityFunction Automatic how to assess the complexity of each form generated TimeConstraint 300 how many seconds to try doing any particular transformation TransformationFunctions Automatic functions to try in transforming the expression Trig True whether to do trigonometric as well as algebraic transformations
• Assumptions can consist of equations, inequalities, domain specifications such as xIntegers, and logical combinations of these.
• With the setting TimeConstraint->{tloc,ttot}, at most seconds are spent for any particular transformation, and at most seconds are spent for all transformations before the best result is returned.

## ExamplesExamplesopen allclose all

### Basic Examples  (3)Basic Examples  (3)

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=
 In[1]:=
 Out[1]=

 In[1]:=
 Out[1]=
 In[2]:=
 Out[2]=
 In[3]:=
 Out[3]=