(v0 x) | (+ (v1 x) (+ 1 x))
(+ 1 (+ (+ 1 x) 2)) | (+ (+ 1 (+ x 2)) x)
