(+ (ite (<= (+ x 2) 0) (+ x 2) 2) x) | (ite (<= (+ x 2) 0) (ite (<= x 0) 0 2) (+ x 2))
