Evaluating a piecewise-defined function