(+ (+ (+ (+ (w0 x) (v1 x)) 2) 1) 2) | (+ (+ (+ 1 (+ (+ 1 2) (w2 x))) (v3 x)) (+ 2 2))
(v1 x) | (v3 x)
