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