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