simplify_formula.ml 8.04 KB