サイクロイドの弧長を求めているのですが
∫√(1-cost)dt
ってどうやって積分するんですか?