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