分子那个是x还是α？

Int[Log[1+x]/(1+x^2)]
(I/2)*(Log[1 + x]*(Log[(-1/2 - I/2)*(I + x)] -
Log[1 - (1/2 - I/2)*(1 + x)]) - PolyLog[2, (1/2 - I/2)*(1 + x)] +
PolyLog[2, (1/2 + I/2)*(1 + x)])

高三狗表示没思路

不初等，但是0到1上的定积分可以计算

令x=tant

原题绝对是有积分上下限的。

应该还是分部积分！

不是初等函数，各位放弃吧

终于让我找到这个贴了，给你个参考！