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