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