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