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