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