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