(w2 x) | (+ (+ (v6 x) 2) (+ 1 2))
