First of all, the derivative of $2^x = e^{(\ln 2) x}$ is $(\ln 2) e^{(\ln 2) x} = (\ln 2)2^x$, not $1 / ((\ln 2) 2^x)$ (which admittedly was given in an earlier revision of the question). This follows from the general formula
$\dfrac{de^{u(x)}}{dx} = e^{u(x)}\dfrac{du(x)}{dx} \tag{1}$
by taking $u(x) = (\ln 2) x$; we also used the identity $a = e^{\ln a}$, $a > 0$ to write $2^x= e^{(\ln 2) x}$. The derivative of $2^{-x}$ can be computed in essentially the same manner; we simply note that $2^{-1} = e^{\ln 2^{-1}} = e^{-\ln 2}$ and set $u(x) = -(\ln 2)x$ to obtain
$\dfrac{d2^{-x}}{dx} = \dfrac{de^{(-\ln 2)x}}{dx} = (-\ln 2)e^{(-\ln 2)x} = (-\ln 2) 2^{-x}. \tag{2}$
As for
$\dfrac{40}{1 + 2^{-t}} = 40(1 + 2^{-t})^{-1}, \tag{3}$
we simply apply the chain rule (which has already occured in the formula (1)) a couple of times, first to obtain
$\dfrac{d}{dt}(40(1 + 2^{-t})^{-1}) = -40(1 + 2^{-t})^{-2}\dfrac{d2^{-t}}{dt}, \tag{4}$
then once again to $d2^{-t}/dt$, which we basically have already done in (2):
$\dfrac{d}{dt}(40(1 + 2^{-t})^{-1}) = -40(1 + 2^{-t})^{-2}(-\ln 2)2^{-t} = \dfrac{40 (\ln 2)2^{-t}}{(1 + 2^{-t})^2} = \dfrac{40 (\ln 2)}{(2^{2t} + 2^t)^2}. \tag{5}$
And that's as far as I'll take it. I can't see the advantage to fiddling around too much with powers of $2$ and so forth, or why Steve Wolfram's engine gives a better formula!
Hope this helps. Cheers!
and as ever,
Fiat Lux!!!