Optimization replacing a variable's use with its known constant value (e.g. substituting `3` for `a` where `a = 3`) so dependent expressions such as `3 * a` can be further simplified. Halasz describes it as flattening the tree.