(+ x y) | (+ y x)
(+ (+ x y) y) | (+ (+ y y) x)
(+ (+ x y) y) | (+ (+ y x) y)
(+ (v1 x y) (+ 1 y)) | (+ (v3 x y) x)
(+ y 1) | (+ 1 y)
