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