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