(w0 x) | (w3 x)
(+ (w0 x) (+ x (w1 x))) | (+ (+ (w2 x) (+ (+ x x) x)) (w3 x))
(+ x (w1 x)) | (+ (w2 x) (+ (+ x x) x))
(+ 1 x) | (+ x 1)
