integrate 0 to pi/2 fracln (tan x) dx