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