結果 : integration 0 to pi 2 log tan x cot x dx