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