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