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