Time bar (total: 17.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 7.8% | 92% | 0.2% | 8 |
| 15.6% | 84.2% | 0.2% | 9 |
| 23.4% | 76.4% | 0.2% | 10 |
| 25% | 74.9% | 0.2% | 11 |
| 37.9% | 59.6% | 2.5% | 12 |
| 41.4% | 55.7% | 2.9% | 13 |
| 46.3% | 50.6% | 3.1% | 14 |
Compiled 16 to 11 computations (31.3% saved)
| 951.0ms | 8256× | body | 128 | valid |
| 210.0ms | 1898× | body | 128 | invalid |
Compiled 47 to 32 computations (31.9% saved)
| 1× | egg-herbie |
| 2150× | fma-neg_binary64 |
| 1161× | div-sub_binary64 |
| 897× | fma-def_binary64 |
| 414× | associate-/l*_binary64 |
| 410× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 18 | 16 |
| 2 | 33 | 16 |
| 3 | 65 | 16 |
| 4 | 113 | 16 |
| 5 | 197 | 16 |
| 6 | 397 | 16 |
| 7 | 814 | 16 |
| 8 | 1449 | 16 |
| 9 | 1832 | 16 |
| 10 | 1941 | 16 |
| 11 | 2036 | 16 |
| 12 | 2110 | 16 |
| 13 | 2224 | 16 |
| 14 | 2174 | 16 |
| 15 | 2652 | 16 |
| 16 | 2330 | 16 |
| 17 | 2358 | 16 |
| 18 | 2376 | 16 |
| 19 | 2392 | 16 |
| 20 | 2384 | 16 |
| 21 | 2468 | 16 |
| 22 | 2468 | 16 |
| 23 | 2388 | 16 |
| 24 | 2450 | 16 |
| 25 | 2428 | 16 |
| 26 | 2426 | 16 |
| 27 | 2428 | 16 |
| 28 | 2430 | 16 |
| 29 | 2440 | 16 |
| 30 | 2440 | 16 |
| 31 | 2255 | 16 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 5.6b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
Compiled 45 to 30 computations (33.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 t (-.f64 1 z)) |
| ✓ | 0.0b | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
| ✓ | 5.4b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
3 calls:
| 30.0ms | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 14.0ms | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
| 8.0ms | (/.f64 t (-.f64 1 z)) |
| 2× | batch-egg-rewrite |
| 408× | fma-def_binary64 |
| 234× | expm1-udef_binary64 |
| 233× | log1p-udef_binary64 |
| 209× | fma-neg_binary64 |
| 190× | egg-rr |
3 calls:
| 78.0ms | (/.f64 t (-.f64 1 z)) |
| 78.0ms | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
| 78.0ms | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 36 |
| 1 | 247 | 36 |
| 2 | 3576 | 36 |
| 3 | 5005 | 36 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 395× | cancel-sign-sub-inv_binary64 |
| 301× | fma-neg_binary64 |
| 294× | fma-def_binary64 |
| 243× | div-sub_binary64 |
| 233× | times-frac_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 82 | 1328 |
| 1 | 234 | 1302 |
| 2 | 664 | 1241 |
| 3 | 1912 | 1195 |
| 4 | 4198 | 1195 |
| 5 | 4681 | 1195 |
| 6 | 4952 | 1195 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 232 | 8 | 240 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 232 | 9 | 241 |
| Status | Error | Program |
| 6.5b | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) | |
| 7.7b | (-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z))) | |
| ▶ | 5.6b | (*.f64 x (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z)))) |
| 26.4b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 2) (pow.f64 (/.f64 t (-.f64 1 z)) 2)) x) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| 25.3b | (*.f64 x (/.f64 (-.f64 (*.f64 y (/.f64 (-.f64 1 z) t)) z) (*.f64 z (/.f64 (-.f64 1 z) t)))) | |
| ✓ | 5.6b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 35.1b | (*.f64 x (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1 z)) (/.f64 (neg.f64 t) (-.f64 1 z)))) | |
| 38.7b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) x) (fma.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (pow.f64 (/.f64 y z) 2))) | |
| 23.7b | (/.f64 (*.f64 (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t)) x) (*.f64 z (-.f64 1 z))) |
Compiled 5335 to 2829 computations (47% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (neg.f64 t) (-.f64 1 z)) |
| ✓ | 0.1b | (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z))) |
| ✓ | 5.4b | (*.f64 x (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z)))) |
3 calls:
| 32.0ms | (*.f64 x (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z)))) |
| 16.0ms | (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z))) |
| 8.0ms | (/.f64 (neg.f64 t) (-.f64 1 z)) |
| 2× | batch-egg-rewrite |
| 600× | prod-diff_binary64 |
| 248× | egg-rr |
| 209× | expm1-udef_binary64 |
| 208× | log1p-udef_binary64 |
| 188× | log-pow_binary64 |
3 calls:
| 125.0ms | (/.f64 (neg.f64 t) (-.f64 1 z)) |
| 125.0ms | (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z))) |
| 124.0ms | (*.f64 x (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 44 |
| 1 | 255 | 36 |
| 2 | 2914 | 36 |
| 3 | 4911 | 36 |
| 4 | 5365 | 36 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 678× | fma-neg_binary64 |
| 633× | times-frac_binary64 |
| 594× | cancel-sign-sub-inv_binary64 |
| 305× | fma-def_binary64 |
| 223× | associate-+l+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 82 | 1662 |
| 1 | 230 | 1636 |
| 2 | 659 | 1575 |
| 3 | 1912 | 1541 |
| 4 | 4354 | 1541 |
| 5 | 5029 | 1541 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 296 | 0 | 296 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 296 | 9 | 305 |
| Status | Error | Program |
| ▶ | 6.5b | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 7.7b | (-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z))) | |
| ✓ | 5.6b | (*.f64 x (fma.f64 y (/.f64 1 z) (/.f64 (neg.f64 t) (-.f64 1 z)))) |
| 26.4b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 2) (pow.f64 (/.f64 t (-.f64 1 z)) 2)) x) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| 25.3b | (*.f64 x (/.f64 (-.f64 (*.f64 y (/.f64 (-.f64 1 z) t)) z) (*.f64 z (/.f64 (-.f64 1 z) t)))) | |
| ✓ | 5.6b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 35.1b | (*.f64 x (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1 z)) (/.f64 (neg.f64 t) (-.f64 1 z)))) | |
| 38.7b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) x) (fma.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (pow.f64 (/.f64 y z) 2))) | |
| 23.7b | (/.f64 (*.f64 (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t)) x) (*.f64 z (-.f64 1 z))) |
Compiled 10744 to 6394 computations (40.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) | |
| ✓ | 0.6b | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 5.4b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| ✓ | 7.3b | (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) |
2 calls:
| 10.6s | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 379.0ms | (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) |
| 2× | batch-egg-rewrite |
| 263× | expm1-udef_binary64 |
| 262× | log1p-udef_binary64 |
| 215× | fma-neg_binary64 |
| 147× | add-sqr-sqrt_binary64 |
| 142× | log1p-expm1-u_binary64 |
2 calls:
| 73.0ms | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 73.0ms | (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 295 | 34 |
| 2 | 4012 | 34 |
| 3 | 4950 | 34 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 792× | times-frac_binary64 |
| 613× | associate-/l*_binary64 |
| 352× | fma-def_binary64 |
| 177× | *-commutative_binary64 |
| 105× | sub-neg_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 482 | 7429 |
| 1 | 1809 | 7118 |
| 2 | 5172 | 7118 |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 377 | 4 | 381 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 379 | 11 | 390 |
| Status | Error | Program |
| 6.4b | (*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) x)) | |
| ✓ | 5.6b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 35.1b | (*.f64 x (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1 z)) (/.f64 (neg.f64 t) (-.f64 1 z)))) | |
| 22.9b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 y x) (*.f64 t x)) z)) 3) | |
| ✓ | 6.5b | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 7.7b | (-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z))) | |
| 25.3b | (*.f64 x (/.f64 (-.f64 (*.f64 y (/.f64 (-.f64 1 z) t)) z) (*.f64 z (/.f64 (-.f64 1 z) t)))) | |
| 24.9b | (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) | |
| ▶ | 6.4b | (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2))) |
| 26.4b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 2) (pow.f64 (/.f64 t (-.f64 1 z)) 2)) x) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| 23.7b | (/.f64 (*.f64 (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t)) x) (*.f64 z (-.f64 1 z))) |
Compiled 14668 to 8546 computations (41.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.7b | (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2))) |
| 5.4b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| ✓ | 6.9b | (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 7.3b | (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) |
2 calls:
| 76.0ms | (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 55.0ms | (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2))) |
| 2× | batch-egg-rewrite |
| 313× | log1p-udef_binary64 |
| 181× | add-sqr-sqrt_binary64 |
| 177× | log1p-expm1-u_binary64 |
| 177× | expm1-log1p-u_binary64 |
| 173× | add-cbrt-cube_binary64 |
2 calls:
| 72.0ms | (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2))) |
| 72.0ms | (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 56 |
| 1 | 381 | 31 |
| 2 | 4733 | 31 |
| 3 | 5164 | 31 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 577× | times-frac_binary64 |
| 464× | associate-/l*_binary64 |
| 397× | associate-/r*_binary64 |
| 330× | fma-def_binary64 |
| 218× | associate-*r/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 442 | 4957 |
| 1 | 1538 | 4775 |
| 2 | 5098 | 4775 |
12 alts after pruning (9 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 283 | 1 | 284 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 283 | 12 | 295 |
| Status | Error | Program |
| 6.4b | (*.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) x)) | |
| ✓ | 5.6b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 22.3b | (/.f64 (*.f64 x (+.f64 t y)) z) | |
| 35.1b | (*.f64 x (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1 z)) (/.f64 (neg.f64 t) (-.f64 1 z)))) | |
| 22.9b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 y x) (*.f64 t x)) z)) 3) | |
| ✓ | 6.5b | (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3) |
| 7.7b | (-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z))) | |
| 25.3b | (*.f64 x (/.f64 (-.f64 (*.f64 y (/.f64 (-.f64 1 z) t)) z) (*.f64 z (/.f64 (-.f64 1 z) t)))) | |
| 24.9b | (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) | |
| ✓ | 6.4b | (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2))) |
| 26.4b | (/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 y z) 2) (pow.f64 (/.f64 t (-.f64 1 z)) 2)) x) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) | |
| 23.7b | (/.f64 (*.f64 (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t)) x) (*.f64 z (-.f64 1 z))) |
Compiled 17799 to 10617 computations (40.4% saved)
Total 0.9b remaining (96.2%)
Threshold costs 0.9b (96.2%)
Compiled 15744 to 10777 computations (31.5% saved)
Compiled 13 to 9 computations (30.8% saved)
| 1× | egg-herbie |
| 16× | *-commutative_binary64 |
| 12× | +-commutative_binary64 |
| 12× | sub-neg_binary64 |
| 9× | neg-sub0_binary64 |
| 9× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 173 |
| 1 | 59 | 173 |
| 2 | 81 | 173 |
| 3 | 100 | 173 |
| 4 | 110 | 173 |
| 5 | 114 | 173 |
| 6 | 115 | 173 |
| 7 | 114 | 173 |
Compiled 495 to 298 computations (39.8% saved)
Loading profile data...