(w1 x) | (+ (+ (w3 x) x) 2)
