∫csc⁡x⁢ⅆ⁡x=ln⁡(tan⁡12⁢x),