Approximating the mean speedup in trace monoids