Distributional derivative