(+ x (w0 x)) | (+ x (w1 x))
