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