[setopt]

For a book, it can take minutes. For a short document, seconds.

Texpresso looks promising though, but I haven’t tried it yet.