This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.

 Further Examples: Simplify Simplify factors these polynomials. In[1]:= Out[1]= In[2]:= Out[2]= Simplify may not factor completely. In[3]:= In[4]:= Out[4]= Here Simplify does nothing at all. Simplicity is largely based on the expression's LeafCount. In[5]:= Out[5]= The leaf count is not the only consideration, however. Here, Log[256] is considered simpler than 4 Log[4], but Log[10000] is not simpler than 4 Log[10]. You can override this behavior; see the Further Examples for ComplexityFunction. In[6]:= Out[6]= This integral returns a sum of three terms. In[7]:= Out[7]= Differentiating the result gives an expression that is more complicated than the original integrand, but mathematically equivalent to it. In[8]:= Out[8]= Simplify gets back to the original form of the expression. In[9]:= Out[9]= In[10]:= Using Assumptions Variables in an inequality are implicitly assumed to be real. In[11]:= Out[11]= The first assumption says that m and n are both integers. In[12]:= Out[12]= It is not true in general that . In[13]:= Out[13]= If both exponents are integers, simplifies to . In[14]:= Out[14]= Here are some more examples using assumptions. In[15]:= Out[15]= In[16]:= Out[16]= In[17]:= Out[17]= In[18]:= Out[18]= In[19]:= Out[19]= In[20]:= Out[20]= In[21]:= Out[21]= In[22]:= Out[22]= In[23]:= Out[23]= In[24]:= Out[24]= In[25]:= Out[25]= In[26]:= Out[26]= In[27]:= Out[27]= In[28]:= Out[28]= In[29]:= Out[29]= FullSimplify, ComplexityFunction and TransformationFunctions See also the Further Examples for FullSimplify and for the options ComplexityFunction and TransformationFunctions.