Time bar (total: 3.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 50% | 50% | 0.1% | 3 |
| 50% | 50% | 0.1% | 4 |
| 74.9% | 25% | 0.1% | 5 |
| 74.9% | 25% | 0.1% | 6 |
| 87.4% | 12.5% | 0.1% | 7 |
| 87.4% | 12.5% | 0.1% | 8 |
| 93.7% | 6.2% | 0.1% | 9 |
| 93.7% | 6.2% | 0.1% | 10 |
| 96.8% | 3.1% | 0.1% | 11 |
| 96.8% | 3.1% | 0.1% | 12 |
| 98.3% | 1.6% | 0.1% | 13 |
| 98.3% | 1.6% | 0.1% | 14 |
Compiled 9 to 7 computations (22.2% saved)
| 781.0ms | 8256× | body | 128 | valid |
Compiled 26 to 20 computations (23.1% saved)
| 1× | egg-herbie |
| 2× | associate-/r*_binary64 |
| 1× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 12 | 9 |
| 1× | saturated |
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 |
| ▶ | 14.8b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
Compiled 24 to 18 computations (25% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 14.5b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
1 calls:
| 346.0ms | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 1× | batch-egg-rewrite |
| 695× | log1p-expm1-u_binary64 |
| 695× | expm1-log1p-u_binary64 |
| 129× | expm1-udef_binary64 |
| 129× | log1p-udef_binary64 |
| 115× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 146 | 9 |
| 2 | 1871 | 9 |
| 1× | node limit |
1 calls:
| 40.0ms | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 1× | egg-herbie |
| 403× | fma-def_binary64 |
| 359× | fma-neg_binary64 |
| 343× | div-sub_binary64 |
| 310× | times-frac_binary64 |
| 268× | unswap-sqr_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 472 |
| 1 | 82 | 472 |
| 2 | 164 | 448 |
| 3 | 449 | 312 |
| 4 | 1208 | 280 |
| 5 | 2965 | 280 |
| 1× | node limit |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 29 | 8 | 37 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 30 | 8 | 38 |
| Status | Error | Program |
| 14.9b | (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a))) | |
| ▶ | 0.8b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 0.9b | (/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))) | |
| 15.1b | (/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g)))) | |
| 15.5b | (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2)) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a)))) | |
| 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) | |
| 14.8b | (*.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1) |
Compiled 555 to 428 computations (22.9% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| ✓ | 0.6b | (cbrt.f64 (*.f64 g 1/2)) |
| ✓ | 0.6b | (cbrt.f64 a) |
3 calls:
| 350.0ms | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 35.0ms | (cbrt.f64 (*.f64 g 1/2)) |
| 29.0ms | (cbrt.f64 a) |
| 1× | batch-egg-rewrite |
| 758× | log1p-expm1-u_binary64 |
| 758× | expm1-log1p-u_binary64 |
| 139× | log1p-udef_binary64 |
| 80× | egg-rr |
| 78× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 18 |
| 1 | 163 | 18 |
| 2 | 2038 | 18 |
| 1× | node limit |
3 calls:
| 43.0ms | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 43.0ms | (cbrt.f64 (*.f64 g 1/2)) |
| 43.0ms | (cbrt.f64 a) |
| 1× | egg-herbie |
| 595× | associate-*l*_binary64 |
| 397× | fma-def_binary64 |
| 355× | fma-neg_binary64 |
| 217× | *-commutative_binary64 |
| 153× | associate-/r*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 652 |
| 1 | 117 | 652 |
| 2 | 227 | 628 |
| 3 | 583 | 484 |
| 4 | 1653 | 468 |
| 5 | 4713 | 468 |
| 1× | node limit |
17 alts after pruning (16 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 83 | 11 | 94 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 85 | 17 | 102 |
| Status | Error | Program |
| ✓ | 0.8b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 0.9b | (*.f64 (/.f64 (cbrt.f64 g) 1) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a)))) | |
| 32.1b | (/.f64 (exp.f64 (log.f64 (cbrt.f64 (*.f64 g 1/2)))) (cbrt.f64 a)) | |
| ▶ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 1.5b | (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 2)) (cbrt.f64 a)) | |
| 14.8b | (*.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1) | |
| 36.6b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (*.f64 (pow.f64 (sqrt.f64 a) 1/3) (pow.f64 (sqrt.f64 a) 1/3))) | |
| 14.9b | (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a))) | |
| 1.6b | (*.f64 (/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 2)) (/.f64 (cbrt.f64 1/2) (cbrt.f64 (cbrt.f64 a)))) | |
| 1.5b | (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 a)) 2)) (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 (cbrt.f64 a)))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (/.f64 1 (cbrt.f64 a)))) | |
| 1.5b | (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) (/.f64 1 (cbrt.f64 a)))) | |
| 15.5b | (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2)) | |
| 1.5b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 3)) | |
| 0.9b | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a)) | |
| 15.1b | (pow.f64 (cbrt.f64 (/.f64 a (*.f64 g 1/2))) -1) |
Compiled 1499 to 1100 computations (26.6% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| ✓ | 0.6b | (cbrt.f64 (/.f64 1/2 a)) |
| ✓ | 0.6b | (cbrt.f64 g) |
3 calls:
| 339.0ms | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 33.0ms | (cbrt.f64 (/.f64 1/2 a)) |
| 28.0ms | (cbrt.f64 g) |
| 1× | batch-egg-rewrite |
| 687× | log1p-expm1-u_binary64 |
| 687× | expm1-log1p-u_binary64 |
| 138× | expm1-udef_binary64 |
| 138× | log1p-udef_binary64 |
| 127× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 18 |
| 1 | 164 | 18 |
| 2 | 1927 | 18 |
| 1× | node limit |
3 calls:
| 37.0ms | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 37.0ms | (cbrt.f64 (/.f64 1/2 a)) |
| 37.0ms | (cbrt.f64 g) |
| 1× | egg-herbie |
| 476× | times-frac_binary64 |
| 417× | fma-def_binary64 |
| 350× | div-sub_binary64 |
| 347× | fma-neg_binary64 |
| 288× | *-commutative_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 680 |
| 1 | 115 | 680 |
| 2 | 231 | 624 |
| 3 | 580 | 512 |
| 4 | 1692 | 472 |
| 5 | 3545 | 472 |
| 1× | node limit |
17 alts after pruning (15 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 4 | 79 |
| Fresh | 4 | 11 | 15 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 79 | 17 | 96 |
| Status | Error | Program |
| 14.9b | (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a)))) | |
| 32.1b | (/.f64 (exp.f64 (log.f64 (cbrt.f64 (*.f64 g 1/2)))) (cbrt.f64 a)) | |
| ✓ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 1.5b | (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 2)) (cbrt.f64 a)) | |
| 36.2b | (*.f64 (cbrt.f64 g) (exp.f64 (log.f64 (cbrt.f64 (/.f64 1/2 a))))) | |
| 1.5b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 3)) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 1/2)))) | |
| ▶ | 0.9b | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a)) |
| 15.1b | (pow.f64 (cbrt.f64 (/.f64 a (*.f64 g 1/2))) -1) | |
| 1.5b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) 2))) | |
| 1.6b | (*.f64 (/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 2)) (/.f64 (cbrt.f64 1/2) (cbrt.f64 (cbrt.f64 a)))) | |
| ✓ | 0.8b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 1.5b | (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) (/.f64 1 (cbrt.f64 a)))) | |
| 15.5b | (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2)) | |
| 14.8b | (*.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1) |
Compiled 1240 to 918 computations (26% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a)) |
| ✓ | 0.5b | (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) |
| 0.6b | (cbrt.f64 g) | |
| 0.6b | (cbrt.f64 a) |
2 calls:
| 360.0ms | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a)) |
| 35.0ms | (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) |
| 1× | batch-egg-rewrite |
| 827× | log1p-expm1-u_binary64 |
| 827× | expm1-log1p-u_binary64 |
| 86× | add-sqr-sqrt_binary64 |
| 82× | add-cube-cbrt_binary64 |
| 82× | add-cbrt-cube_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 17 |
| 1 | 181 | 15 |
| 2 | 2249 | 15 |
| 1× | node limit |
2 calls:
| 41.0ms | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a)) |
| 41.0ms | (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) |
| 1× | egg-herbie |
| 541× | times-frac_binary64 |
| 431× | fma-def_binary64 |
| 347× | fma-neg_binary64 |
| 270× | *-commutative_binary64 |
| 187× | exp-sum_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 47 | 636 |
| 1 | 109 | 636 |
| 2 | 229 | 612 |
| 3 | 591 | 476 |
| 4 | 1692 | 444 |
| 5 | 3781 | 444 |
| 1× | node limit |
18 alts after pruning (16 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 111 | 4 | 115 |
| Fresh | 2 | 12 | 14 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 114 | 18 | 132 |
| Status | Error | Program |
| 14.9b | (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))) | |
| 36.2b | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (exp.f64 (log.f64 (cbrt.f64 a)))) | |
| 1.6b | (*.f64 (/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 2)) (/.f64 (cbrt.f64 1/2) (cbrt.f64 (cbrt.f64 a)))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a)))) | |
| 0.9b | (*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 a)))) | |
| 32.1b | (/.f64 (exp.f64 (log.f64 (cbrt.f64 (*.f64 g 1/2)))) (cbrt.f64 a)) | |
| ✓ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 1.5b | (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 2)) (cbrt.f64 a)) | |
| 36.2b | (*.f64 (cbrt.f64 g) (exp.f64 (log.f64 (cbrt.f64 (/.f64 1/2 a))))) | |
| 1.5b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 a)) 3)) | |
| 30.5b | (/.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/2 g))) 2) (cbrt.f64 a)) | |
| 4.4b | (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 a) 2) 1/3) (cbrt.f64 (cbrt.f64 a)))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 1/2)))) | |
| ✓ | 0.8b | (/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)) |
| 15.5b | (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2)) | |
| 14.8b | (*.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1) | |
| 1.5b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) 2))) |
Compiled 1556 to 1077 computations (30.8% saved)
Total 0.7b remaining (90.1%)
Threshold costs 0.7b (90.1%)
Compiled 3911 to 3132 computations (19.9% saved)
| 1× | egg-herbie |
| 1× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 11 |
| 1 | 9 | 11 |
| 1× | saturated |
Compiled 250 to 201 computations (19.6% saved)
Loading profile data...