(v0 x) | (+ (+ 2 (+ (+ (w2 x) 2) x)) 2)
