BUILT-IN MATHEMATICA SYMBOL

# FullSimplify

FullSimplify[expr]
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.

## Details and OptionsDetails and Options

• FullSimplify will always yield at least as simple a form as Simplify, but may take substantially longer.
• 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 ExcludedForms {} patterns specifying forms of subexpression that should not be touched TimeConstraint Infinity for how many seconds to try doing any particular transformation TransformationFunctions Automatic functions to try in transforming the expression
• FullSimplify uses RootReduce on expressions that involve Root objects.
• 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. »
• You can specify default assumptions for FullSimplify using Assuming.

## ExamplesExamplesopen allclose all

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

Simplify an expression involving special functions:

 Out[1]=

Simplify using assumptions:

 Out[1]=

Prove a simple theorem from the assumption of associativity:

 Out[1]=