differentiability of a piecewise function