FullSimplify

Usage

• 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.

Notes

• 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.

• You can specify default assumptions for FullSimplify using Assuming.

• See notes for Simplify.

• See Section 1.4.4 and Section 3.3.10.

• Implementation notes: see Section A.9.5.

• New in Version 3; modified in 5.

Further Examples