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