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