(RELIEVE-FREE-VAR-HYP-AND-ALL-OTHERS)
(ADD-SIMPLIFIED-DAG-TO-DAG-ARRAY)
(SIMPLIFY-DAG)
(REPEAT-SIMPLIFY-DAG)
(MAYBE-REPEAT-SIMPLIFY-DAG)
(NORMALIZE-XORS-AND-SIMPLIFY-UNTIL-STABLE)
(SIMPLIFY-AND-NORMALIZE-XORS-UNTIL-STABLE)
(SIMPLIFY-WITH-RULE-SETS-AUX)
(SIMPLIFY-WITH-RULE-SETS)
(SIMP-DAG-FN)
(SIMP-TERM-FN)
(SIMPLIFY-TERMS-ONCE)
(SIMPLIFY-TERMS-REPEATEDLY-AUX)
(SIMPLIFY-TERMS-REPEATEDLY)
(COMPOSE-TERM-AND-DAG2)
(QUICK-SIMP-DAG-FN)
(QUICK-SIMP-COMPOSED-TERM-AND-DAG-FN)
