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