simplify_formula.ml 7.95 KB