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