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