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