Constant propagation in multiplication
Constant propagation in addition