(+ (+ (ite (<= y 0) 0 1) x) y) | (+ (ite (<= y 0) 0 (+ 1 y)) x)
