v1 | v3
(+ 1 (+ (v0 x) x)) | (+ (+ (+ (v2 x) 1) x) x)
