Definition:Differentiable Function