ArithmeticOptimizer
