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