let simplify_atoms_base = simplification_atoms