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