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