不对
[ln | cot(x/2) |]的导数不等于 secx
正确：∫sec x dx= ln | tan(pai/4 + x/2) |+C
或者 =ln| secx + tanx |+ C