sinx/cos^3(x)的积分可否解为 tan^2(x)/2+C