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