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