This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
How to | Refine and Simplify Expressions
Mathematica provides tools to simplify a diverse range of mathematical expressions to make them easier to understand, or more efficient to compute.
You might recognize this as a classic example of an expression with a simpler form, namely . However, with a variable, it is left alone:
In[68]:=
Click for copyable input
Out[68]=
If you use a number instead of a variable, this simplifies as you would expect:
In[25]:=
Click for copyable input
Out[25]=
Use Refine to simplify this expression as though were a real number by using Element and Reals:
In[74]:=
Click for copyable input
Out[74]=
    
Simplify can also be used to this end. The primary difference between Refine and Simplify is this: Refine must have assumptions and performs only those basic simplifications which would be automatic for numeric inputs, while Simplify performs a wider range of simplifications and may be used without assumptions.
Mathematica does not simplify automatically:
In[28]:=
Click for copyable input
Out[28]=
Simplify gives you this familiar identity:
In[59]:=
Click for copyable input
Out[59]=