implemented naive simplification of formulas