Real exponential function/Derivative/Fact