(w0 x) | (+ (+ (v1 x) (+ (v3 x) 1)) (+ 1 2))
