令 sinxdx = -d(cosx)
t^3/(1+t^2)dt
= [(t^3+t)-t]/(1+t^2) *dt = t-t/(1+t^2)
t^2/2 - 1/2 * ln(1+t^2) +C
cosx^2/2 - ln(1+cosx^2)/2 + C