Time bar (total: 10.2s)
| 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 |
| 15.6% | 84.2% | 0.2% | 8 |
| 15.6% | 84.2% | 0.2% | 9 |
| 20.3% | 79.5% | 0.2% | 10 |
| 25.3% | 74.5% | 0.2% | 11 |
| 34.2% | 65.6% | 0.2% | 12 |
| 37.4% | 62% | 0.6% | 13 |
| 41.7% | 57.7% | 0.6% | 14 |
Compiled 20 to 14 computations (30% saved)
| 1× | intervals |
| 13.0ms | 256× | body | 128 | valid |
| 11.0ms | 112× | body | 128 | invalid |
Compiled 43 to 31 computations (27.9% saved)
| 1× | egg-herbie |
| 871× | distribute-rgt-in_binary64 |
| 685× | div-sub_binary64 |
| 652× | distribute-lft-in_binary64 |
| 409× | distribute-neg-frac_binary64 |
| 395× | sub-neg_binary64 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 22 |
| 1 | 25 | 22 |
| 2 | 58 | 22 |
| 3 | 109 | 22 |
| 4 | 223 | 20 |
| 5 | 437 | 16 |
| 6 | 876 | 14 |
| 7 | 2098 | 14 |
| 8 | 2320 | 14 |
| 9 | 2451 | 14 |
| 10 | 3042 | 14 |
| 11 | 3226 | 14 |
| 12 | 3327 | 14 |
| 13 | 4913 | 14 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| 4.7b | (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) | |
| ▶ | 3.7b | (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x) |
Compiled 95 to 62 computations (34.7% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 y (/.f64 t y)) |
| ✓ | 0.3b | (/.f64 -1/3 z) |
| ✓ | 3.5b | (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x) |
3 calls:
| 34.0ms | (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x) |
| 5.0ms | (-.f64 y (/.f64 t y)) |
| 1.0ms | (/.f64 -1/3 z) |
| 1× | rewrite-expression-head |
| 58× | add-sqr-sqrt_binary64 |
| 55× | *-un-lft-identity_binary64 |
| 53× | add-cube-cbrt_binary64 |
| 46× | times-frac_binary64 |
| 39× | prod-diff_binary64 |
3 calls:
| 6.0ms | (-.f64 y (/.f64 t y)) |
| 2.0ms | (/.f64 -1/3 z) |
| 0.0ms | (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x) |
| 1× | egg-herbie |
| 421× | associate-/l*_binary64 |
| 411× | associate-*l/_binary64 |
| 388× | associate-*r/_binary64 |
| 368× | times-frac_binary64 |
| 350× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 244 | 2830 |
| 1 | 566 | 1960 |
| 2 | 1256 | 1654 |
| 3 | 4414 | 1654 |
| 4 | 4841 | 1654 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 131 | 6 | 137 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 132 | 7 | 139 |
| Status | Error | Program |
| 34.9b | (*.f64 (sqrt.f64 (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)) (sqrt.f64 (fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x))) | |
| 4.8b | (-.f64 (+.f64 (*.f64 1/3 (/.f64 t (*.f64 y z))) x) (*.f64 1/3 (/.f64 y z))) | |
| ▶ | 3.8b | (+.f64 (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) x) |
| 4.7b | (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) | |
| 37.0b | (fma.f64 (/.f64 -1/3 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (/.f64 t y) 3)) (+.f64 (*.f64 y y) (+.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 y (/.f64 t y))))) x) | |
| 4.0b | (fma.f64 (/.f64 -1/3 z) (+.f64 y (*.f64 (neg.f64 (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 1)) (/.f64 (cbrt.f64 t) y))) x) | |
| 4.0b | (fma.f64 (/.f64 -1/3 z) (+.f64 (fma.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y) (neg.f64 (*.f64 (/.f64 1 y) t))) (fma.f64 (neg.f64 (/.f64 1 y)) t (*.f64 (/.f64 1 y) t))) x) |
Compiled 3603 to 1287 computations (64.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (/.f64 t y) y) |
| ✓ | 0.4b | (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| ✓ | 3.5b | (/.f64 z (-.f64 (/.f64 t y) y)) |
3 calls:
| 29.0ms | (/.f64 z (-.f64 (/.f64 t y) y)) |
| 19.0ms | (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| 5.0ms | (-.f64 (/.f64 t y) y) |
| 1× | rewrite-expression-head |
| 215× | times-frac_binary64 |
| 206× | add-sqr-sqrt_binary64 |
| 155× | *-un-lft-identity_binary64 |
| 121× | add-cube-cbrt_binary64 |
| 39× | prod-diff_binary64 |
3 calls:
| 9.0ms | (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| 8.0ms | (-.f64 (/.f64 t y) y) |
| 7.0ms | (/.f64 z (-.f64 (/.f64 t y) y)) |
| 1× | egg-herbie |
| 758× | fma-def_binary64 |
| 336× | distribute-rgt-in_binary64 |
| 234× | associate-/r/_binary64 |
| 213× | fma-neg_binary64 |
| 168× | associate-*l/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 388 | 6880 |
| 1 | 795 | 6125 |
| 2 | 2905 | 5851 |
| 3 | 4605 | 5844 |
| 4 | 4908 | 5844 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 325 | 3 | 328 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 327 | 8 | 335 |
| Status | Error | Program |
| 33.8b | (+.f64 (/.f64 1/3 (/.f64 (/.f64 z (sqrt.f64 (-.f64 (/.f64 t y) y))) (sqrt.f64 (-.f64 (/.f64 t y) y)))) x) | |
| 4.7b | (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) | |
| ✓ | 3.8b | (+.f64 (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) x) |
| 37.0b | (fma.f64 (/.f64 -1/3 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (/.f64 t y) 3)) (+.f64 (*.f64 y y) (+.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 y (/.f64 t y))))) x) | |
| ▶ | 3.8b | (+.f64 (/.f64 1/3 (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z))) x) |
| 4.0b | (fma.f64 (/.f64 -1/3 z) (+.f64 (fma.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y) (neg.f64 (*.f64 (/.f64 1 y) t))) (fma.f64 (neg.f64 (/.f64 1 y)) t (*.f64 (/.f64 1 y) t))) x) | |
| 33.8b | (+.f64 (/.f64 (/.f64 1/3 (sqrt.f64 (/.f64 z (-.f64 (/.f64 t y) y)))) (sqrt.f64 (/.f64 z (-.f64 (/.f64 t y) y)))) x) | |
| 4.8b | (-.f64 (+.f64 (*.f64 1/3 (/.f64 t (*.f64 y z))) x) (*.f64 1/3 (/.f64 y z))) |
Compiled 8297 to 2773 computations (66.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (-.f64 (/.f64 t y) y) | |
| ✓ | 0.3b | (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z)) |
| ✓ | 0.4b | (/.f64 1/3 (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z))) |
| ✓ | 3.4b | (/.f64 (-.f64 (/.f64 t y) y) z) |
3 calls:
| 27.0ms | (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z)) |
| 19.0ms | (/.f64 1/3 (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z))) |
| 16.0ms | (/.f64 (-.f64 (/.f64 t y) y) z) |
| 1× | rewrite-expression-head |
| 901× | times-frac_binary64 |
| 621× | add-sqr-sqrt_binary64 |
| 465× | *-un-lft-identity_binary64 |
| 361× | add-cube-cbrt_binary64 |
| 104× | difference-of-squares_binary64 |
3 calls:
| 17.0ms | (/.f64 1/3 (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z))) |
| 11.0ms | (/.f64 1 (/.f64 (-.f64 (/.f64 t y) y) z)) |
| 8.0ms | (/.f64 (-.f64 (/.f64 t y) y) z) |
| 1× | egg-herbie |
| 361× | fma-neg_binary64 |
| 331× | fma-def_binary64 |
| 323× | distribute-rgt-in_binary64 |
| 310× | associate-/r/_binary64 |
| 289× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 372 | 14308 |
| 1 | 824 | 13614 |
| 2 | 2775 | 13476 |
| 3 | 4620 | 13476 |
| 4 | 4937 | 13476 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 697 | 4 | 701 |
| Fresh | 3 | 3 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 701 | 8 | 709 |
| Status | Error | Program |
| 46.6b | (+.f64 (/.f64 1/3 (/.f64 1 (*.f64 (+.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 t) (sqrt.f64 y))) (/.f64 (-.f64 (/.f64 (sqrt.f64 t) (sqrt.f64 y)) (sqrt.f64 y)) z)))) x) | |
| 4.0b | (fma.f64 (/.f64 -1/3 z) (+.f64 (fma.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y) (neg.f64 (*.f64 (/.f64 1 y) t))) (fma.f64 (neg.f64 (/.f64 1 y)) t (*.f64 (/.f64 1 y) t))) x) | |
| ✓ | 3.8b | (+.f64 (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) x) |
| 4.7b | (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) | |
| 3.8b | (+.f64 (*.f64 (/.f64 1/3 1) (/.f64 (-.f64 (/.f64 t y) y) z)) x) | |
| ▶ | 3.7b | (+.f64 (/.f64 1 (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y)))) x) |
| 3.8b | (+.f64 (/.f64 1/3 (/.f64 1 (*.f64 (-.f64 (/.f64 t y) y) (/.f64 1 z)))) x) | |
| 4.8b | (-.f64 (+.f64 (*.f64 1/3 (/.f64 t (*.f64 y z))) x) (*.f64 1/3 (/.f64 y z))) |
Compiled 19653 to 7565 computations (61.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (-.f64 (/.f64 t y) y) | |
| ✓ | 0.3b | (/.f64 1 (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y)))) |
| ✓ | 0.3b | (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| 3.5b | (/.f64 z (-.f64 (/.f64 t y) y)) |
2 calls:
| 30.0ms | (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| 18.0ms | (/.f64 1 (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y)))) |
| 1× | rewrite-expression-head |
| 35× | add-sqr-sqrt_binary64 |
| 28× | add-exp-log_binary64 |
| 25× | times-frac_binary64 |
| 24× | associate-*r*_binary64 |
| 21× | *-un-lft-identity_binary64 |
2 calls:
| 11.0ms | (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y))) |
| 8.0ms | (/.f64 1 (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y)))) |
| 1× | egg-herbie |
| 495× | times-frac_binary64 |
| 489× | associate-/l*_binary64 |
| 334× | fma-def_binary64 |
| 309× | associate-*l/_binary64 |
| 303× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 2574 |
| 1 | 513 | 2365 |
| 2 | 1502 | 2268 |
| 3 | 4764 | 2268 |
| 4 | 5000 | 2268 |
| 5 | 4998 | 2268 |
| 6 | 4934 | 2268 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 268 | 1 | 269 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 268 | 9 | 277 |
| Status | Error | Program |
| 22.0b | (+.f64 (/.f64 1 (*.f64 3 (/.f64 (*.f64 y z) t))) x) | |
| 4.7b | (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) | |
| 46.6b | (+.f64 (/.f64 1/3 (/.f64 1 (*.f64 (+.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 t) (sqrt.f64 y))) (/.f64 (-.f64 (/.f64 (sqrt.f64 t) (sqrt.f64 y)) (sqrt.f64 y)) z)))) x) | |
| 4.0b | (fma.f64 (/.f64 -1/3 z) (+.f64 (fma.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y) (neg.f64 (*.f64 (/.f64 1 y) t))) (fma.f64 (neg.f64 (/.f64 1 y)) t (*.f64 (/.f64 1 y) t))) x) | |
| ✓ | 3.8b | (+.f64 (/.f64 1/3 (/.f64 z (-.f64 (/.f64 t y) y))) x) |
| 3.8b | (+.f64 (*.f64 (/.f64 1/3 1) (/.f64 (-.f64 (/.f64 t y) y) z)) x) | |
| ✓ | 3.7b | (+.f64 (/.f64 1 (*.f64 3 (/.f64 z (-.f64 (/.f64 t y) y)))) x) |
| 3.8b | (+.f64 (/.f64 1/3 (/.f64 1 (*.f64 (-.f64 (/.f64 t y) y) (/.f64 1 z)))) x) | |
| 4.8b | (-.f64 (+.f64 (*.f64 1/3 (/.f64 t (*.f64 y z))) x) (*.f64 1/3 (/.f64 y z))) |
Compiled 6554 to 2634 computations (59.8% saved)
Total 1.1b remaining (98.1%)
Threshold costs 0b (0%)
Compiled 56499 to 35469 computations (37.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 1.7254034813855388e-28 | 7.737074436954655e-25 | 5.53228479313245e-26 |
| 8 | -9.527017073002953e+179 | -6.122118871240926e+176 | -6.22726511139875e+176 |
Compiled 5 to 4 computations (20% saved)
| 1× | egg-herbie |
| 10× | +-commutative_binary64 |
| 9× | *-commutative_binary64 |
| 7× | sub-neg_binary64 |
| 4× | neg-sub0_binary64 |
| 4× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 75 |
| 1 | 53 | 75 |
| 2 | 67 | 75 |
| 3 | 76 | 75 |
| 4 | 81 | 75 |
| 5 | 82 | 75 |
| 6 | 80 | 75 |
Compiled 55 to 36 computations (34.5% saved)
| 1× | intervals |
| 466.0ms | 8000× | body | 128 | valid |
| 175.0ms | 3101× | body | 128 | invalid |
Compiled 264 to 177 computations (33% saved)
Loading profile data...