∫[0,∞]{1/(e^x+e^-x)}dx

1/(e^x+e^-x)=1/[{e^(x/2)-e(-x/2)}^2+2]
ここでe^(x/2)-e(-x/2)=√2tanθとおいて

1/2∫[0,π/4]{1/{(tanθ)^2+1}*dx/dθ*dθ
のときのdx/dθがわかんないです。