The actual values are computed always, they are just not stored for each HMC iteration, rather only evaluated once a new sample is “selected”. See Request for final feedback: User controlled unnormalized (propto) distribution syntax - #12 by betanalpha
So this is just trading a lot of memory savings for an additional function evaluation (without gradient evaluations).