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