has_deriv_at_of_has_deriv_at_of_ne source