(v1 x) | (+ 1 (+ (w4 x) (+ 1 2)))
