y | (+ y (+ 2 (+ 2 (+ 2 2))))
(+ y (+ 2 (+ 2 (+ 2 2)))) | y
