improve simplification (don't try several times but work up the tree)