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