与 .wl 参考的差异: `Integrate[Log[Sin[x]], …]` is unimplemented
Definite integrals with symbolic bounds are the weakest area; check results you rely on.
Qurak evaluates indefinite and definite integrals symbolically. For integrals
that don't have a closed form, use `NIntegrate` for a numeric answer instead
of waiting for `Integrate` to give up.