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