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