Optimal Trace Documentation