(+ x (w1 x y)) | (+ (+ 1 (w3 x y)) x)
