∫1/sinxdx={log|(s-1)/(s+1)|}/2
ただしs=cosxとした。
t={log|(s-1)/(s+1)|}/2+C　　(Cは積分定数)
初期条件からCを求め、これをs=cosxについて解けばいいんでしょうが・・・。
なんか釈然としないです。