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