constant folding
add back other optimizations