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