分段函数
f(x) := if x < 0 then x - 1 else (if x = 0 then 0 else 1 + x);