(+ x 2) | (+ x x)
(+ (+ x 2) 2) | (+ 2 (+ x x))
