(v2 x) | (v6 x)
(v3 x) | (v7 x)
(+ (+ (w1 x) (v2 x)) (+ 1 x)) | (+ (+ (+ (w5 x) (v6 x)) (+ 1 (+ x x))) (+ 1 x))
(+ (w1 x) (v2 x)) | (+ (+ (w5 x) (v6 x)) (+ 1 (+ x x)))
