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