修正
∫[0→1]log(1+x)/(x^2+1)dx