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