simplify_formula.ml 7.87 KB