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