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