>>403
√(1-cos(x)) = √2・√((1-cos(x)/2) = √2・√(sin^2(x/2))
　= √2・sin(x/2).
e^t = uとすると、s = u - 1/u. uをかけて移項 u^2-su-1 = 0.
u について解く。u = (s±√(s^2+4))/2。複号は u>0となるもの
をとる。t = log(u).