exponential functions product rule