(w1 x) | (+ (+ 2 (+ v3 x)) x)
