simplification in substitution and function evaluation

The original version is more precise?