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