RedLogの

QE関数の出力は一般に複雑です．よって，式を簡約する関数，すなわち，simplifierの働きが重要になります．実数体コンテキストrにおいて利用できるsimplifierには

・Standard Simplifier　常時適用されるrlsimpl

・Tableau Simplifier　タブロー法を採用したもので，場合分けの式のリストを第２引数とするrltab，自動的に場合分けするrlitab

・Groebner Simplifier　グレブナー基底を利用して，連言標準形を与えるrlgsc，選言標準形を与えるrlgsd，入力された式に適した標準形を与えるrlgsn

のほか，グレブナー基底を用いず連言標準形を与えるrlcnf，選言標準形を与えるrldnfなどがあります．