Recursive Trace Divergence