simplification in substitution and function evaluation

Yes it is, but I think it's too expensive.