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