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