(+ (+ 1 y) (+ x y)) | (+ (+ (+ 1 y) y) x)
