∫[0,x]cos(t)dtを計算するのにtan(x/2)=tとおく、意味不明