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