int_0^(pi/2) [(pi*x-4*x^2)*log(1+ tan x)]