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