（0-pi/3) x*(secx)^2 dx=(0-pi/3) xd(tanx)=xtanx-(0-pi/3) tanxdx=pi/3*根号3-ln2