simplification in substitution and function evaluation

Well, for example the avl delete goes from 18s to 17.5. I know it's not much, but it helps a little.