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