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