New Optimization: (X*2)-x -> x