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