Techniques for reducing memory requirements for traces

Yes, if you don’t wrap your intermediate deterministic variables in Deterministic objects, they will not be saved.