Differentiability at a point: algebraic (function is differentiable)