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