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