Differs from the .wl reference: `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.
Independently checkable: an answer for this function is re-derived by a different route and compared - the workbench and the verify tool do this automatically, so a wrong answer is caught rather than trusted. History →