∫cot⁡x⁢ⅆ⁡x=ln⁡(sin⁡x),