Piecewise-defined function