simplify according to rules, AC