若 G(x) = integrate from 0 to x of (t^2 + 1) dt ,通过 TFC1 计算 G'(x) 。