Expand description

Simulation, estimations and execution trace logic.