(w1 x) | (w4 x)
(+ (+ (+ (+ 1 2) (v0 x)) (w1 x)) 1) | (+ (+ (+ (+ (+ 1 2) (v2 x)) (w4 x)) 2) 2)
