Real exponential function/Base/Derivative/Fact