def profile(name, func): times = timeit.repeat(func, number=1000, repeat=4) times = ', '.join(["%8f" % t for t in times]) print("%-30s %40s" % (name, times))