展开 cotx的平方的不定积分