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