This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
 FullSimplify â-ª FullSimplify[ expr ] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds. â-ª FullSimplify will always yield at least as simple a form as Simplify, but may take substantially longer. â-ª The following options can be given: â-ª FullSimplify uses RootReduce on expressions that involve Root objects. â-ª FullSimplify does transformations on most kinds of special functions. â-ª See the Mathematica book: Section 1.4.4, Section 3.3.9.â-ª See also: Simplify, Factor, Expand, PowerExpand, ComplexExpand, TrigExpand, FunctionExpand. Further Examples 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]= Differentiating a complicated indefinite integral should yield the integrand. In[13]:= Out[13]= FullSimplify can handle the simplification. In[14]:= Out[14]= Options: ExcludedForms, Trig In the absence of any constraints, Factorial and Gamma cancel out in this expression. In[15]:= Out[15]= Setting the option ExcludedForms to Factorial inhibits the simplification. In[16]:= Out[16]= Setting it to Gamma does not, because Factorial is expressed in terms of Gamma. In[17]:= Out[17]= In this example, partial simplification not involving Factorial is allowed to happen. In[18]:= Out[18]= Here both the trigonometric and the gamma function are simplified. In[19]:= Out[19]= By contrast, here the trigonometric functions are left untouched.In[20]:= Out[20]= The same effect is obtained by explicitly excluding expressions matching Sin[_] from the simplification. In[21]:= Out[21]= Options: ComplexityFunction See the Further Examples for ComplexityFunction.