(w2 x) | (w5 x)
(w2 x) | (+ (w4 x) (+ (+ x x) x))
(+ (w1 x) (+ x x)) | (w5 x)
(+ (w1 x) (+ x x)) | (+ (w4 x) (+ (+ x x) x))
(v0 x) | (v3 x)
