Although using doit in polys might lead to a simpler result in some cases, that burden is on the user to do the simplification. Otherwise things can get unnecessarily slow when, for example, the doit can do nothing. I've updated the OP with a TODO list.