adjust diff's running time to be solely in terms of fl_log
add proof that running times for make_array_td and make_array_naive
are exactly the same function