HMC requires derivatives, but we have also taken advantage of autodiff to implement
other algorithms that require derivatives (at the moment mostly optimization algorithms).
The derivatives are of the log posterior with respect to the parameters being sampled
(technical note, actually with parameters mapped into R^{n}, we also automatically
compute the Jacobian and its derivatives as well).
Depending on your problem you should be able to map the derivatives to their
Laplace equivalents and invert each element of the gradient to get reasonably
efficient analytic gradients, but it would be difficult to embed that into Stan given that
our code does not allow custom gradient evaluations.