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