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