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