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