simplify_formula.ml 5.12 KB