(+ (w0 x) 2) | (+ (+ 1 (v1 x)) (v2 x))
