sec^2(x)*tan(x)=sin(x)/cos^3(x)、cos(x)=tとおくと、-∫dt/t^3