int_0^pi/4 ln(1-tan x) dx