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