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