∫_0^1 dx/(1+x^2) は置換積分なんかしなくても
∫_0^1 dx/(1+x^2) = [tan^{-1} x]_0^1 = tan^{-1} 1 - tan^{-1} 0 = π/4
で良いんじゃない?