Differentiate $f(x)=\int_{\tan x}^{0} \frac{\cos t}{1+e^t}dt$

Differentiate
$$f(x)=\int_{\tan x}^{0} \frac{\cos t}{1+e^t}dt$$

Answer

Answers can be viewed only if
  1. The questioner was satisfied and accepted the answer, or
  2. The answer was disputed, but the judge evaluated it as 100% correct.
View the answer
The answer is accepted.