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