make high-order derivatives simplified by default

Only factor_terms and signsimp are used in the simplification; other
simplification may be possible but that is left for the user
to decide if it's necessary.