(ite (<= (+ (v2 x) x) 0) 0 1) | (+ (v6 x) x)
