Piecewise defined function