Time bar (total: 4.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 74.9% | 25% | 0.1% | 3 |
| 87.4% | 12.5% | 0.1% | 4 |
| 93.7% | 6.2% | 0.1% | 5 |
| 96.8% | 3.1% | 0.1% | 6 |
| 98.3% | 1.6% | 0.1% | 7 |
| 99.1% | 0.8% | 0.1% | 8 |
| 99.5% | 0.4% | 0.1% | 9 |
| 99.7% | 0.2% | 0.1% | 10 |
| 99.8% | 0.1% | 0.1% | 11 |
| 99.9% | 0% | 0.1% | 12 |
| 99.9% | 0% | 0.1% | 13 |
| 99.9% | 0% | 0.1% | 14 |
Compiled 15 to 11 computations (26.7% saved)
| 1× | intervals |
| 19.0ms | 256× | body | 128 | valid |
Compiled 31 to 23 computations (25.8% saved)
| 1× | egg-herbie |
| 2× | hypot-def_binary64 |
| 2× | fma-def_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 11 |
| 1 | 14 | 11 |
| 2 | 16 | 11 |
| 3 | 16 | 11 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 0.6b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
Compiled 39 to 29 computations (25.6% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.6b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
1 calls:
| 35.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
| 1× | rewrite-expression-head |
| 16× | times-frac_binary64 |
| 11× | *-un-lft-identity_binary64 |
| 11× | add-sqr-sqrt_binary64 |
| 11× | add-cube-cbrt_binary64 |
| 11× | pow1_binary64 |
1 calls:
| 3.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
| 1× | egg-herbie |
| 556× | associate-/l/_binary64 |
| 403× | associate-/r/_binary64 |
| 315× | times-frac_binary64 |
| 236× | associate-/l*_binary64 |
| 233× | sub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 134 | 1669 |
| 1 | 331 | 1611 |
| 2 | 852 | 1567 |
| 3 | 2813 | 1547 |
| 4 | 4895 | 1547 |
| 5 | 5033 | 1547 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 57 | 14 | 71 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 58 | 14 | 72 |
| Status | Error | Program |
| ▶ | 0.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) |
| 17.7b | (exp.f64 (log.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 17.4b | (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (log.f64 10) (sqrt.f64 (log.f64 (hypot.f64 re im))))) | |
| 17.7b | (expm1.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 1.2b | (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (log.f64 10) (cbrt.f64 (log.f64 (hypot.f64 re im))))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 30.0b | (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) | |
| 17.5b | (*.f64 (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10))) (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (pow.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) 3)) | |
| 1.4b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (*.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 10)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 10)))) | |
| 1.3b | (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 17.4b | (*.f64 (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (/.f64 (*.f64 (*.f64 (log.f64 (hypot.f64 re im)) (log.f64 (hypot.f64 re im))) (log.f64 (hypot.f64 re im))) (*.f64 (*.f64 (log.f64 10) (log.f64 10)) (log.f64 10)))) | |
| 0.6b | (/.f64 1 (/.f64 (log.f64 10) (log.f64 (hypot.f64 re im)))) |
Compiled 2002 to 1337 computations (33.2% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) |
| ✓ | 0.5b | (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))) |
2 calls:
| 39.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))) |
| 35.0ms | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) |
| 1× | rewrite-expression-head |
| 99× | times-frac_binary64 |
| 96× | add-sqr-sqrt_binary64 |
| 59× | sqrt-prod_binary64 |
| 56× | *-un-lft-identity_binary64 |
| 50× | add-cube-cbrt_binary64 |
2 calls:
| 21.0ms | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) |
| 4.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))) |
| 1× | egg-herbie |
| 605× | fma-def_binary64 |
| 563× | associate-/r*_binary64 |
| 405× | fma-neg_binary64 |
| 308× | associate-/l/_binary64 |
| 218× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 265 | 5977 |
| 1 | 731 | 5300 |
| 2 | 2185 | 5063 |
| 3 | 4589 | 5035 |
| 4 | 4992 | 5035 |
| 5 | 4986 | 5035 |
| 6 | 4960 | 5035 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 228 | 8 | 236 |
| Fresh | 8 | 5 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 237 | 13 | 250 |
| Status | Error | Program |
| 18.0b | (exp.f64 (+.f64 (neg.f64 (log.f64 (sqrt.f64 (log.f64 10)))) (log.f64 (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))))) | |
| 17.7b | (exp.f64 (log.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.6b | (/.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10))) | |
| 1.4b | (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (log.f64 10))) (cbrt.f64 (sqrt.f64 (log.f64 10))))) (*.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (log.f64 10)))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))))) | |
| 17.4b | (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))))) | |
| 1.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10))))) | |
| 1.3b | (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| ▶ | 0.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| 17.7b | (expm1.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 17.3b | (*.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))))) | |
| 0.7b | (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10))))) | |
| 0.7b | (cbrt.f64 (pow.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) 3)) |
Compiled 6770 to 5096 computations (24.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))) |
| ✓ | 0.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| ✓ | 1.0b | (/.f64 1 (log.f64 10)) |
| ✓ | 3.7b | (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))) |
4 calls:
| 98.0ms | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| 88.0ms | (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))) |
| 66.0ms | (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))) |
| 0.0ms | (/.f64 1 (log.f64 10)) |
| 1× | rewrite-expression-head |
| 56× | add-sqr-sqrt_binary64 |
| 49× | times-frac_binary64 |
| 46× | *-un-lft-identity_binary64 |
| 44× | add-cube-cbrt_binary64 |
| 30× | sqrt-prod_binary64 |
4 calls:
| 10.0ms | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| 4.0ms | (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))) |
| 3.0ms | (/.f64 1 (log.f64 10)) |
| 2.0ms | (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))) |
| 1× | egg-herbie |
| 376× | associate-*r*_binary64 |
| 343× | fma-def_binary64 |
| 323× | associate-*l*_binary64 |
| 316× | fma-neg_binary64 |
| 249× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 461 | 8758 |
| 1 | 1388 | 8271 |
| 2 | 4791 | 8090 |
| 3 | 4700 | 7998 |
| 4 | 4922 | 7994 |
| 5 | 5033 | 7994 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 325 | 5 | 330 |
| Fresh | 9 | 3 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 334 | 9 | 343 |
| Status | Error | Program |
| 17.3b | (*.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (sqrt.f64 (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))))) (sqrt.f64 (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))))) | |
| 0.4b | (+.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (sqrt.f64 (/.f64 1 (log.f64 10))))) (/.f64 1 (sqrt.f64 (log.f64 10)))) (*.f64 (log.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) (sqrt.f64 (/.f64 1 (log.f64 10))))) (/.f64 1 (sqrt.f64 (log.f64 10))))) | |
| ✓ | 0.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| ▶ | 0.3b | (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) |
| 17.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (exp.f64 (log.f64 (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))))) | |
| 0.5b | (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (*.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (log.f64 (hypot.f64 re im))))) | |
| 1.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10))))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (pow.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) 3)) |
Compiled 12123 to 10160 computations (16.2% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) |
| 1.0b | (/.f64 1 (log.f64 10)) |
1 calls:
| 34.0ms | (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) |
| 1× | rewrite-expression-head |
| 229× | times-frac_binary64 |
| 198× | sqrt-prod_binary64 |
| 137× | associate-*l*_binary64 |
| 134× | add-sqr-sqrt_binary64 |
| 108× | *-un-lft-identity_binary64 |
1 calls:
| 25.0ms | (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) |
| 1× | egg-herbie |
| 736× | fma-neg_binary64 |
| 618× | times-frac_binary64 |
| 478× | associate-/l*_binary64 |
| 376× | associate-*l*_binary64 |
| 338× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 210 | 5783 |
| 1 | 504 | 5613 |
| 2 | 1312 | 5569 |
| 3 | 4589 | 5569 |
| 4 | 5204 | 5569 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 246 | 4 | 250 |
| Fresh | 5 | 2 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 251 | 8 | 259 |
| Status | Error | Program |
| 17.3b | (*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (log.f64 (hypot.f64 re im)))) (sqrt.f64 (log.f64 (hypot.f64 re im)))) | |
| 0.6b | (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) 3)) | |
| 17.3b | (*.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (sqrt.f64 (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))))) (sqrt.f64 (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10))))))) | |
| 0.4b | (+.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (sqrt.f64 (/.f64 1 (log.f64 10))))) (/.f64 1 (sqrt.f64 (log.f64 10)))) (*.f64 (log.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) (sqrt.f64 (/.f64 1 (log.f64 10))))) (/.f64 1 (sqrt.f64 (log.f64 10))))) | |
| ✓ | 0.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (log.f64 (pow.f64 (hypot.f64 re im) (sqrt.f64 (/.f64 1 (log.f64 10)))))) |
| ✓ | 0.3b | (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))) |
| 0.5b | (+.f64 (*.f64 2 (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (cbrt.f64 (hypot.f64 re im))))) (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (cbrt.f64 (hypot.f64 re im))))) | |
| 17.3b | (*.f64 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im)))) (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 1 (log.f64 10))) (sqrt.f64 (log.f64 10))) (log.f64 (hypot.f64 re im))))) |
Compiled 7099 to 5875 computations (17.2% saved)
Total 0.2b remaining (92.2%)
Threshold costs 0.2b (92.2%)
Compiled 34120 to 29320 computations (14.1% saved)
| 1× | egg-herbie |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 23 |
| 1 | 15 | 23 |
| 2 | 14 | 23 |
(sort re im)
Compiled 48 to 42 computations (12.5% saved)
| 1× | intervals |
| 625.0ms | 8000× | body | 128 | valid |
Compiled 250 to 203 computations (18.8% saved)
Loading profile data...