v0 | v2
(+ (+ (ite (<= (+ (+ 1 x) v0) 0) (+ x 2) x) x) 2) | (v1 x)
(+ (+ (ite (<= (+ (+ 1 x) v0) 0) (+ x 2) x) x) 2) | (ite (<= (+ (+ 1 x) v2) 0) (+ (+ (+ x x) x) (+ 2 2)) x)
(+ (+ 1 x) v0) | (+ (+ 1 x) v2)
