"""Benchmark for float true division tier 2 specialization.Usage:    ./python bench_truediv.py"""import timeitN = 2_000_000INNER = 1000def bench(label, fn):    iters = N // INNER    times = [timeit.timeit(fn, number=iters) for _ in range(3)]    t = min(times)    print(f"  {label}: {t/N*1e9:.1f} ns/iter")def f_chain_mul(n, a, b, c):    t = 0.0    for i in range(n):        t += (a + b) * c    return tdef f_div(n, a, b):    t = 0.0    for i in range(n):        t += a / b    return tdef f_chain_div(n, a, b, c):    t = 0.0    for i in range(n):        t += (a + b) / c    return tdef f_2px_div_y(n, x, y):    t = 0.0    for i in range(n):        t += (2.0 + x) / y    return tdef f_div_rhs(n, a, b, c):    t = 0.0    for i in range(n):        t += c / (a + b)    return tdef f_ab_div_cd(n, a, b, c, d):    t = 0.0    for i in range(n):        t += (a / b) / (c / d)    return tdef f_ab_add_cd(n, a, b, c, d):    t = 0.0    for i in range(n):        t += (a / b) + (c / d)    return t# Warmupf_chain_mul(10000, 2.0, 3.0, 4.0)f_div(10000, 10.0, 3.0)f_chain_div(10000, 2.0, 3.0, 4.0)f_2px_div_y(10000, 3.0, 4.0)f_div_rhs(10000, 2.0, 3.0, 4.0)f_ab_div_cd(10000, 10.0, 3.0, 4.0, 5.0)f_ab_add_cd(10000, 10.0, 3.0, 4.0, 5.0)print("Float truediv benchmark (min of 3 runs):")bench("(a+b) * c              (baseline)", lambda: f_chain_mul(INNER, 2.0, 3.0, 4.0))bench("a / b                  (generic) ", lambda: f_div(INNER, 10.0, 3.0))bench("(a+b) / c              (inplace L)", lambda: f_chain_div(INNER, 2.0, 3.0, 4.0))bench("(2.0+x) / y            (inplace L)", lambda: f_2px_div_y(INNER, 3.0, 4.0))bench("c / (a+b)              (inplace R)", lambda: f_div_rhs(INNER, 2.0, 3.0, 4.0))bench("(a/b) / (c/d)          (type prop)", lambda: f_ab_div_cd(INNER, 10.0, 3.0, 4.0, 5.0))bench("(a/b) + (c/d)          (type prop)", lambda: f_ab_add_cd(INNER, 10.0, 3.0, 4.0, 5.0))