# 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$$

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.
• 104 views
• \$2.00