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