(+ (+ (+ (+ 2 x) x) 2) 2) | (+ x 2)
(v0 x) | (v3 x)
