(+ 0 1) | (+ 1 2)
(+ (+ (w0 x) 1) (+ 0 1)) | (+ (+ (+ (+ (w1 x) (+ 1 (+ x 2))) (+ 1 2)) 2) 1)
