# Differentiate $\int_{\sin x}^{\ln x} e^{\tan t}dt$

Differentiate the function $$f(x)=\int_{\sin x}^{\ln x} e^{\tan t}dt.$$