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