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