simplify_formula.ml 5.74 KB