This is a straightforward calculation, but is there a function in rstan or more generally a diagnostic tool to get, after running a model, the time required to compute 1000 effectively independent samples?

And if not, would there be interest in implementing such a tool? It’s convenient for performance tests.