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