G(x) = integrate from 0 to x of (t^2 + 1) dt の場合、TFC1によって G'(x) を計算します。