求定积分的题

首先，原函数函数不是初等函数。先dx/(1+x)凑微分。然后分部积分。再令t=arctan x。其中一部分∫_0^{π/4} ln(1+tan t)dt。接下来，比如令t=(π/4)-u。