removing an exponential bottleneck due to a lazy substitution in normalization of expressions