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