Another piecewise defined function