simplify_formula.ml 5.6 KB