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