piecewise differentiable