int sqrt(cos2x)/cosx*dx∫√cos2xcosx⋅dx
=int sqrt[1-2(sinx)^2]/(cosx)^2*cosx*dx∫√1−2(sinx)2(cosx)2⋅cosx⋅dx
=int sqrt[1-2(sinx)^2]/[1-(sinx)^2]*cosx*dx∫√1−2(sinx)21−(sinx)2⋅cosx⋅dx
After using sqrt2sinx=siny√2sinx=siny an sqrt2cosx*dx=cosy*dy√2cosx⋅dx=cosy⋅dy substitution, this integral became
=int sqrt[1-(siny)^2]/[1-(siny/sqrt2)^2]*((cosy*dy)/sqrt2)∫√1−(siny)21−(siny√2)2⋅(cosy⋅dy√2)
=sqrt2int sqrt[(cosy)^2]/[2-(siny)^2]*cosy*dy√2∫√(cosy)22−(siny)2⋅cosy⋅dy
=sqrt2int ((cosy)^2*dy)/[2-(siny)^2]√2∫(cosy)2⋅dy2−(siny)2
=sqrt2int (dy)/[2(secy)^2-(tany)^2]√2∫dy2(secy)2−(tany)2
=sqrt2int (dy)/[2(tany)^2+2-(tany)^2]√2∫dy2(tany)2+2−(tany)2
=sqrt2int (dy)/[(tany)^2+2]√2∫dy(tany)2+2
=sqrt2int ([(tany)^2+1]*dy)/([(tany)^2+1][(tany)^2+2])√2∫[(tany)2+1]⋅dy[(tany)2+1][(tany)2+2]
After using z=tanyz=tany and dz=[(tany)^2+1]*dydz=[(tany)2+1]⋅dy transformation, it became
sqrt2int (dz)/[(z^2+1)*(z^2+2)]√2∫dz(z2+1)⋅(z2+2)
=sqrt2int (dz)/(z^2+1)√2∫dzz2+1-sqrt2int (dz)/(z^2+2)√2∫dzz2+2
=sqrt2arctanz-arctan(z/sqrt2)+C√2arctanz−arctan(z√2)+C
=sqrt2arctan(tany)-arctan(tany/sqrt2)+C√2arctan(tany)−arctan(tany√2)+C
=ysqrt2-arctan(tany/sqrt2)+Cy√2−arctan(tany√2)+C
After using sqrt2sinx=siny√2sinx=siny, y=arcsin(sqrt2sinx)y=arcsin(√2sinx) and tany=(sqrt2sinx)/sqrt(cos2x)tany=√2sinx√cos2x inverse transforms, I found
int sqrt(cos2x)/cosx*dx∫√cos2xcosx⋅dx
=sqrt2arcsin(sqrt2sinx)-arctan(sinx/sqrt(cos2x))+C√2arcsin(√2sinx)−arctan(sinx√cos2x)+C