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