Calcular tempo gasto em uma tarefa

// tempo inicial
$tstart = time(); // php < 5.4
$tstart = $_SERVER["REQUEST_TIME_FLOAT"]; // php >= 5.4

do {
	...
} while (true);

// tempo final
$tend = time();       
 
echo "Tempo gasto: " . date("H:i:s", $tend - $tstart) . "\r\n";

OBS.: A partir do PHP 5.4.0 , não há necessidade de obter $tstart, pois a $_SERVER["REQUEST_TIME_FLOAT"] possui esse valor.