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