What is the integral of #int sin (e^t)#?