cotx的平方求不定积分(原函数),