(+ (v1 x y) x) | (+ (+ 1 (v3 x y)) x)
