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