Further Examples: FullSimplify

FullSimplify versus Simplify

FullSimplify can handle expressions that Simplify leaves unchanged.

In[1]:=

Out[1]=

In[2]:=

Out[2]=

Here are more rules that FullSimplify knows about.

In[3]:=

Out[3]=

In[4]:=

Out[4]=

In[5]:=

Out[5]=

In[6]:=

Out[6]=

In[7]:=

Out[7]=

In[8]:=

Out[8]=

In[9]:=

Out[9]=

In[10]:=

Out[10]=

In[11]:=

Out[11]=

In[12]:=

Out[12]=

In[13]:=

Out[13]=

Differentiating a complicated indefinite integral should yield the integrand.

In[14]:=

Out[14]=

FullSimplify can handle the simplification.

In[15]:=

Out[15]=

The option ExcludedForms

In the absence of any constraints, Factorial and Gamma cancel out in this expression.

In[16]:=

Out[16]=

Setting the option ExcludedForms to Factorial inhibits the simplification.

In[17]:=

Out[17]=

Setting it to Gamma does not, because Factorial is expressed in terms of Gamma.

In[18]:=

Out[18]=

In this example, partial simplification not involving Factorial is allowed to happen.

In[19]:=

Out[19]=

Here both the trigonometric functions and the gamma function are simplified.

In[20]:=

Out[20]=

By contrast, here the trigonometric functions are left untouched.

In[21]:=

Out[21]=

Using Assumptions

This assumes that a, b, and c are positive (and so real by default).

In[22]:=

Out[22]=

This is a fairly complicated non-trivial example. The assumptions are that x, y, z, and n are integers, n is greater than and x, y, and z are nonzero.

In[23]:=

Out[23]=

This simplifies an expression involving Fibonacci numbers.

In[24]:=

Out[24]=

This simplifies an expression involving Bessel functions.

In[25]:=

Out[25]=

The options ComplexityFunction and TransformationFunctions

See the Further Examples for ComplexityFunction and TransformationFunctions.