>>443
f'(x)=2log(2sinx)/tanx
sinx=tとおくと
f'(x)=2log(2t)*√(1-t^2)/t

この後tで両辺不定積分すると左辺はf(x)になるのでしょうか。このあとの右辺の計算もここで詰まっています。
よろしくお願いします。