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