他の例: TrigExpand

加法定理を使って式を展開する．2番目の例では大幅な簡約が行われている．

In[1]:=

Out[1]=

In[2]:=

Out[2]=

In[3]:=

Out[3]=

In[4]:=

Out[4]=

TrigExpandは双曲線関数も扱う．

In[5]:=

Out[5]=

In[6]:=

Out[6]=