(w2 x) | (+ (v5 x) (w6 x))
