FullSimplify

FullSimplify[expr]は，初等関数と特殊関数を含む式exprに多種の変換法を試し，得られた中で最も簡約された形を返す．

FullSimplify[expr, assum]は，前提条件を使用して簡約する．

FullSimplifyは，少なくともSimplifyの返す形と同じ程度に簡約できるが，時間が長くかかることもある．

指定可能なオプション：

FullSimplifyは，RootReduceを使いRootオブジェクトを含む式を処理する．

FullSimplifyは，ほとんどの特殊関数に対し変換操作ができるようになっている．

Assumingを用いてFullSimplifyのデフォルトの前提条件を指定することができる．

Simplifyの注釈を参照のこと．

参照セクション：1.4.4 ， 3.3.9.

実装に関するノート：A.9.5.

次も参照：Simplify， Factor，Expand，PowerExpand，ComplexExpand，TrigExpand，Element，FunctionExpand，Assuming.

バージョン3の新関数．バージョン5.0で大幅改訂

他の例