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