(cot t/2)的导数怎么算的?