Polynomial simplification and substitution