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