We call such a transformation constant unfolding.

• 我们称这种变换为常数展开。