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