結果 : integration of log 1 tan x dx from 0 to pi 4