Constant Folding, Strength Reduction, Algebraic Identity