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