log(tan(x/2))の微分
(1/tan(x/2))(1/(cos(x/2))^2)(1/2)=1/sinx
で、x→x+π/2とする

log((1+sinx)/cosx)の微分
{cosx/(1+sinx)}{(1+sinx)/(cosx)^2}=1/cosx
とできる。