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