v2 | v4
v0 | (+ 1 v3)
(+ v0 (+ 1 x)) | (+ (+ 1 v3) (+ 1 x))
