The derivative of a piecewise linear function