v1 | (+ 2 (+ 2 (+ 2 (+ 2 (+ 2 2)))))
(+ v0 1) | (+ (+ 2 v2) 1)
v0 | (+ 2 v2)
(+ (+ v0 1) (+ 1 x)) | (+ (+ (+ 2 v2) 1) (+ 1 x))
