先做变量代换,变成2(∫(cotx)^2dx)
再由2∫(cotx)^2dx=2∫(cscx)^2-1dx
=-2*cotx-2x+C