BUILT-IN MATHEMATICA 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.
• 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 , 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.
• FullSimplify does more extensive simplification than Simplify.
• You can specify default assumptions for Simplify using Assuming.

## ExamplesExamplesopen allclose all

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

 Out[1]=
 Out[2]=
 Out[1]=

 Out[1]=
 Out[2]=
 Out[3]=