(+ (+ 2 (+ (+ (+ x 2) x) x)) (+ x 2)) | (+ (+ 2 (v0 x)) (+ x 2))
(+ (+ (+ x 2) x) x) | (v0 x)
(+ 2 (+ (+ (+ x 2) x) x)) | (+ 2 (v0 x))
