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