derivative of a real function