Composite exponential function differentiation