- microtime: documentation ( source)
<?php
$start = microtime(true);
for ($i = 0; $i < 1000; ++$i) {
bcdiv(40075036, 86164.098903691, 40);
}
echo 1000*(microtime(true) - $start);
echo "\n";
$start = microtime(true);
for ($i = 0; $i < 1000; ++$i) {
$a = 40075036/ 86164.098903691;
}
echo 1000*(microtime(true) - $start);