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