simplify_formula.ml 8.77 KB