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