Time bar (total: 4.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 87.4% | 12.6% | 5 |
| 9.4% | 65.5% | 25.1% | 6 |
| 14% | 60.8% | 25.1% | 7 |
| 19.5% | 49.1% | 31.4% | 8 |
| 24.6% | 37.8% | 37.6% | 9 |
| 28.7% | 33.7% | 37.6% | 10 |
| 33.3% | 26% | 40.7% | 11 |
| 36.2% | 19.9% | 43.8% | 12 |
| 38.6% | 17.6% | 43.8% | 13 |
| 41.3% | 13.3% | 45.4% | 14 |
Compiled 12 to 8 computations (33.3% saved)
| 1× | intervals |
| 12.0ms | 256× | body | 128 | valid |
| 1.0ms | 35× | body | 128 | nan |
Compiled 26 to 18 computations (30.8% saved)
| 1× | egg-herbie |
| 1584× | associate--r-_binary64 |
| 971× | associate--l-_binary64 |
| 872× | distribute-rgt-in_binary64 |
| 683× | distribute-lft-in_binary64 |
| 666× | unsub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 12 |
| 1 | 14 | 12 |
| 2 | 21 | 12 |
| 3 | 36 | 12 |
| 4 | 76 | 12 |
| 5 | 156 | 12 |
| 6 | 253 | 12 |
| 7 | 347 | 12 |
| 8 | 447 | 12 |
| 9 | 778 | 12 |
| 10 | 1197 | 12 |
| 11 | 1226 | 12 |
| 12 | 1296 | 12 |
| 13 | 1330 | 12 |
| 14 | 1344 | 12 |
| 15 | 1348 | 12 |
| 16 | 2296 | 12 |
| 17 | 1995 | 12 |
| 18 | 2129 | 12 |
| 19 | 2194 | 12 |
| 20 | 2230 | 12 |
| 21 | 2240 | 12 |
| 22 | 2300 | 12 |
| 23 | 2258 | 12 |
| 24 | 2258 | 12 |
| 25 | 2590 | 12 |
| 26 | 2908 | 12 |
| 27 | 3094 | 12 |
| 28 | 2910 | 12 |
| 29 | 2926 | 12 |
| 30 | 2934 | 12 |
| 31 | 2934 | 12 |
| 32 | 3078 | 12 |
| 33 | 3014 | 12 |
| 34 | 3014 | 12 |
| 35 | 4716 | 12 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
| Status | Error | Program |
| ▶ | 16.2b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
Compiled 22 to 14 computations (36.4% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| 0.3b | (*.f64 x (log.f64 (/.f64 x y))) |
| 15.9b | (log.f64 (/.f64 x y)) |
| 1× | rewrite-expression-head |
| 65× | log-prod_binary64 |
| 45× | times-frac_binary64 |
| 43× | add-sqr-sqrt_binary64 |
| 41× | *-un-lft-identity_binary64 |
| 41× | add-cube-cbrt_binary64 |
3 calls:
| 6.0ms | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| 4.0ms | (*.f64 x (log.f64 (/.f64 x y))) |
| 2.0ms | (log.f64 (/.f64 x y)) |
Compiled 1778 to 477 computations (73.2% saved)
3 calls:
| 39.0ms | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| 22.0ms | (*.f64 x (log.f64 (/.f64 x y))) |
| 17.0ms | (log.f64 (/.f64 x y)) |
Compiled 910 to 616 computations (32.3% saved)
| 1× | egg-herbie |
| 432× | unsub-neg_binary64 |
| 430× | distribute-rgt-in_binary64 |
| 407× | distribute-lft-in_binary64 |
| 394× | associate-*l*_binary64 |
| 346× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 216 | 2045 |
| 1 | 367 | 1981 |
| 2 | 1079 | 1940 |
| 3 | 3205 | 1940 |
| 4 | 4888 | 1940 |
| 5 | 4959 | 1940 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 80 | 7 | 87 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 80 | 8 | 88 |
| Status | Error | Program |
| ✓ | 16.2b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| ▶ | 0.2b | (-.f64 (*.f64 x (+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z) |
| 50.2b | (*.f64 x (-.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))) | |
| 31.2b | (-.f64 (+.f64 (*.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y)))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z) | |
| 16.3b | (-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z) | |
| 31.2b | (+.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) x) (-.f64 (*.f64 x (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)))) z)) | |
| 5.5b | (+.f64 (*.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (-.f64 (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) y))) z)) | |
| 16.2b | (+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) x) (-.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y)))) z)) |
Compiled 1059 to 433 computations (59.1% saved)
Found 4 expressions with local error:
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 y) |
| 0.6b | (cbrt.f64 y) |
| 1× | rewrite-expression-head |
| 12× | cbrt-prod_binary64 |
| 8× | *-un-lft-identity_binary64 |
| 8× | add-sqr-sqrt_binary64 |
| 8× | add-cube-cbrt_binary64 |
| 4× | add-cbrt-cube_binary64 |
4 calls:
| 1.0ms | (cbrt.f64 y) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 y) |
Compiled 1023 to 357 computations (65.1% saved)
4 calls:
| 12.0ms | (cbrt.f64 x) |
| 11.0ms | (cbrt.f64 x) |
| 11.0ms | (cbrt.f64 y) |
| 11.0ms | (cbrt.f64 y) |
Compiled 775 to 523 computations (32.5% saved)
| 1× | egg-herbie |
| 608× | log-prod_binary64 |
| 434× | distribute-rgt-in_binary64 |
| 426× | distribute-lft-in_binary64 |
| 414× | associate-*l*_binary64 |
| 378× | unswap-sqr_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 332 |
| 1 | 61 | 316 |
| 2 | 151 | 316 |
| 3 | 389 | 316 |
| 4 | 1198 | 300 |
| 5 | 4828 | 300 |
| 6 | 5416 | 300 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 32 | 0 | 32 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 32 | 8 | 40 |
| Status | Error | Program |
| ✓ | 16.2b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| ✓ | 0.2b | (-.f64 (*.f64 x (+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z) |
| 50.2b | (*.f64 x (-.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))) | |
| 31.2b | (-.f64 (+.f64 (*.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y)))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z) | |
| 16.3b | (-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z) | |
| 31.2b | (+.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) x) (-.f64 (*.f64 x (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)))) z)) | |
| ▶ | 5.5b | (+.f64 (*.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (-.f64 (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) y))) z)) |
| 16.2b | (+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) x) (-.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y)))) z)) |
Compiled 673 to 349 computations (48.1% saved)
Found 4 expressions with local error:
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 x) |
| 5.3b | (log.f64 (/.f64 (cbrt.f64 x) y)) |
| 1× | rewrite-expression-head |
| 22× | log-prod_binary64 |
| 20× | *-un-lft-identity_binary64 |
| 20× | add-sqr-sqrt_binary64 |
| 20× | add-cube-cbrt_binary64 |
| 18× | cbrt-prod_binary64 |
4 calls:
| 3.0ms | (log.f64 (/.f64 (cbrt.f64 x) y)) |
| 2.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
Compiled 1686 to 621 computations (63.2% saved)
4 calls:
| 44.0ms | (log.f64 (/.f64 (cbrt.f64 x) y)) |
| 12.0ms | (cbrt.f64 x) |
| 11.0ms | (cbrt.f64 x) |
| 11.0ms | (cbrt.f64 x) |
Compiled 1048 to 692 computations (34% saved)
| 1× | egg-herbie |
| 597× | log-prod_binary64 |
| 366× | associate-*l*_binary64 |
| 305× | log-div_binary64 |
| 281× | unsub-neg_binary64 |
| 266× | distribute-rgt-in_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 106 | 916 |
| 1 | 182 | 892 |
| 2 | 400 | 858 |
| 3 | 906 | 854 |
| 4 | 3276 | 830 |
| 5 | 4685 | 764 |
| 6 | 4801 | 764 |
| 7 | 4976 | 764 |
| 8 | 4872 | 764 |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 56 | 0 | 56 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 56 | 8 | 64 |
| Status | Error | Program |
| ✓ | 16.2b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) |
| ✓ | 0.2b | (-.f64 (*.f64 x (+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z) |
| 50.2b | (*.f64 x (-.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))) | |
| 31.2b | (-.f64 (+.f64 (*.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y)))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z) | |
| 16.3b | (-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z) | |
| 31.2b | (+.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) x) (-.f64 (*.f64 x (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)))) z)) | |
| ✓ | 5.5b | (+.f64 (*.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (-.f64 (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) y))) z)) |
| ▶ | 16.2b | (+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) x) (-.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y)))) z)) |
Compiled 946 to 486 computations (48.6% saved)
Found 4 expressions with local error:
| 2.9b | (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) |
| 16.3b | (cbrt.f64 (/.f64 x y)) |
| 16.3b | (cbrt.f64 (/.f64 x y)) |
| 16.3b | (cbrt.f64 (/.f64 x y)) |
| 1× | rewrite-expression-head |
| 39× | cbrt-prod_binary64 |
| 27× | times-frac_binary64 |
| 25× | *-un-lft-identity_binary64 |
| 25× | add-sqr-sqrt_binary64 |
| 25× | add-cube-cbrt_binary64 |
4 calls:
| 6.0ms | (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) |
| 3.0ms | (cbrt.f64 (/.f64 x y)) |
| 2.0ms | (cbrt.f64 (/.f64 x y)) |
| 2.0ms | (cbrt.f64 (/.f64 x y)) |
Compiled 2378 to 509 computations (78.6% saved)
4 calls:
| 232.0ms | (cbrt.f64 (/.f64 x y)) |
| 66.0ms | (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) |
| 31.0ms | (cbrt.f64 (/.f64 x y)) |
| 30.0ms | (cbrt.f64 (/.f64 x y)) |
Compiled 2169 to 1371 computations (36.8% saved)
| 1× | egg-herbie |
| 968× | log-prod_binary64 |
| 379× | log-div_binary64 |
| 371× | associate-*l*_binary64 |
| 348× | times-frac_binary64 |
| 204× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 142 | 1675 |
| 1 | 270 | 1473 |
| 2 | 485 | 1418 |
| 3 | 1385 | 1302 |
| 4 | 4338 | 1299 |
| 5 | 5953 | 1299 |
9 alts after pruning (5 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 61 | 1 | 62 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 61 | 9 | 70 |
| Status | Error | Program |
| 5.5b | (+.f64 (*.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (-.f64 (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) y))) z)) | |
| 42.0b | (+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (/.f64 x y)) 2/3)) (sqrt.f64 (*.f64 (log.f64 (/.f64 x y)) 2/3))) x) (-.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y)))) z)) | |
| 16.2b | (-.f64 (*.f64 x (log.f64 (/.f64 x y))) z) | |
| 0.2b | (-.f64 (*.f64 x (+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z) | |
| 50.2b | (*.f64 x (-.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))) | |
| 31.2b | (-.f64 (+.f64 (*.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y)))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z) | |
| 16.3b | (-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z) | |
| 31.2b | (+.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) x) (-.f64 (*.f64 x (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y)))) z)) | |
| 16.2b | (+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) x) (-.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y)))) z)) |
Compiled 1258 to 468 computations (62.8% saved)
Total 0.2b remaining (88%)
Threshold costs 0.2b (88%)
Compiled 13626 to 8098 computations (40.6% saved)
| 1× | egg-herbie |
| 3× | +-commutative_binary64 |
| 3× | *-commutative_binary64 |
| 2× | sub-neg_binary64 |
| 1× | neg-sub0_binary64 |
| 1× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 31 |
| 1 | 18 | 31 |
| 2 | 23 | 31 |
| 3 | 25 | 31 |
| 4 | 26 | 31 |
| 5 | 26 | 31 |
Compiled 22 to 12 computations (45.5% saved)
| 1× | intervals |
| 409.0ms | 8000× | body | 128 | valid |
| 29.0ms | 743× | body | 128 | nan |
| 3.0ms | 28× | body | 128 | invalid |
Compiled 223 to 132 computations (40.8% saved)
Loading profile data...