**1.4.5 Advanced Topic: Putting Expressions into Different Forms**

Complicated algebraic expressions can usually be written in many different ways. Mathematica provides a variety of functions for converting expressions from one form to another.

In many applications, the most common of these functions are Expand, Factor and Simplify. However, particularly when you have rational expressions that contain quotients, you may need to use other functions.

Functions for transforming algebraic expressions.

Here is a rational expression that can be written in many different forms.
In[1]:= **e = (x - 1)^2 (2 + x) / ((1 + x) (x - 3)^2)**

Out[1]=

Expand expands out the numerator, but leaves the denominator in factored form.
In[2]:= **Expand[e]**

Out[2]=

ExpandAll expands out everything, including the denominator.
In[3]:= **ExpandAll[e]**

Out[3]=

Together collects all the terms together over a common denominator.
In[4]:= **Together[%]**

Out[4]=

Apart breaks the expression apart into terms with simple denominators.
In[5]:= **Apart[%]**

Out[5]=

Factor factors everything, in this case reproducing the original form.
In[6]:= **Factor[%]**

Out[6]=

According to Simplify, this is the simplest way to write the original expression.
In[7]:= **Simplify[e]**

Out[7]=

Getting expressions into the form you want is something of an art. In most cases, it is best simply to experiment, trying different transformations until you get what you want. Often you will be able to use palettes in the front end to do this.

When you have an expression with a single variable, you can choose to write it as a sum of terms, a product, and so on. If you have an expression with several variables, there is an even wider selection of possible forms. You can, for example, choose to group terms in the expression so that one or another of the variables is "dominant".

Rearranging expressions in several variables.

Here is an algebraic expression in two variables.
In[8]:= **v = Expand[(3 + 2 x)^2 (x + 2 y)^2]**

Out[8]=

This groups together terms in v that involve the same power of x.
In[9]:= **Collect[v, x]**

Out[9]=

This groups together powers of y.
In[10]:= **Collect[v, y]**

Out[10]=

This factors out the piece that does not depend on y.
In[11]:= **FactorTerms[v, y]**

Out[11]=

As we have seen, even when you restrict yourself to polynomials and rational expressions, there are many different ways to write any particular expression. If you consider more complicated expressions, involving, for example, higher mathematical functions, the variety of possible forms becomes still greater. As a result, it is totally infeasible to have a specific function built into Mathematica to produce each possible form. Rather, Mathematica allows you to construct arbitrary sets of transformation rules for converting between different forms. Many Mathematica packages include such rules; the details of how to construct them for yourself are given in Section 2.4.

There are nevertheless a few additional built-in Mathematica functions for transforming expressions.

Some other functions for transforming expressions.

This expands out the trigonometric expression, writing it so that all functions have argument x.
In[12]:= **TrigExpand[Tan[x] Cos[2x]]**

Out[12]=

This uses trigonometric identities to generate a factored form of the expression.
In[13]:= **TrigFactor[%]**

Out[13]=

This reduces the expression by using multiple angles.
In[14]:= **TrigReduce[%]**

Out[14]=

This expands the sine assuming that x and y are both real.
In[15]:= **ComplexExpand[ Sin[x + I y] ]**

Out[15]=

This does the expansion allowing x and y to be complex.
In[16]:= **ComplexExpand[ Sin[x + I y], {x, y} ]**

Out[16]=

The transformations on expressions done by functions like Expand and Factor are always correct, whatever values the symbolic variables in the expressions may have. Sometimes, however, it is useful to perform transformations which are correct only if certain assumptions are made about the possible values of symbolic variables. One such transformation is performed by PowerExpand.

Mathematica does not automatically expand out non-integer powers of products.
In[17]:= **Sqrt[x y]**

Out[17]=

PowerExpand does the expansion.
In[18]:= **PowerExpand[%]**

Out[18]=

The expansion is guaranteed to be correct if x and y are both non-negative.
In[19]:= **{Sqrt[x y], Sqrt[x] Sqrt[y]} /. {x -> -1, y -> -1}**

Out[19]=