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