(v1 x) | (+ (+ (w3 x) (+ 0 1)) x)
