totally differentiable function