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