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