(v2 x) | (+ (+ (+ x x) x) 2)
(v3 x) | (v5 x)
(v0 x) | (+ (+ (+ (w4 x) (v5 x)) (+ 2 x)) 2)
