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