- fold string literal comparisons - fold non-decimal bit shifts - fold non-decimal integer comparisons - fold decimal bitwise AND and OR - simplify cast expressions before elaboration - remove duplicate cast expression traversal - flatten concatenated numbers in a single pass