(w2 x) | (w5 x)
(+ (w0 x) (v1 x)) | (+ (v3 x) (w4 x))
(+ (+ (w0 x) (v1 x)) (+ 1 (+ x x))) | (+ (+ (v3 x) (w4 x)) (+ 1 (+ x x)))
