Solution
= Solution
Use <integration by parts> with $u=\ln(1+x^2)$ and $dv=(1+3x^2)dx$, giving $v=x+x^3=x(1+x^2)$. The remaining <integrand> simplifies because $du=2x\,dx/(1+x^2)$:
$$
\boxed{\int(1+3x^2)\ln(1+x^2)dx=x(1+x^2)\ln(1+x^2)-\int2x^2dx=x(1+x^2)\ln(1+x^2)-\frac23x^3+C.}
$$
The real formula is valid for every <real number> $x$.