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