Time bar (total: 12.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 |
| 25% | 74.9% | 0.1% | 4 |
| 50% | 50% | 0.1% | 5 |
| 50% | 37.5% | 12.6% | 6 |
| 50% | 25% | 25.1% | 7 |
| 50% | 18.7% | 31.3% | 8 |
| 50% | 12.5% | 37.6% | 9 |
| 50% | 9.4% | 40.7% | 10 |
| 50% | 6.2% | 43.8% | 11 |
| 50% | 4.7% | 45.4% | 12 |
| 50% | 3.1% | 46.9% | 13 |
| 50% | 2.3% | 47.7% | 14 |
Compiled 9 to 7 computations (22.2% saved)
| 1× | intervals |
| 164.0ms | 73× | body | 1024 | valid |
| 8.0ms | 131× | body | 128 | valid |
| 8.0ms | 9× | body | 2048 | valid |
| 8.0ms | 25× | body | 512 | valid |
| 3.0ms | 18× | body | 256 | valid |
| 1.0ms | 9× | body | 128 | overflowed |
Compiled 19 to 15 computations (21.1% saved)
| 1× | egg-herbie |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 8 | 10 |
| 2 | 8 | 10 |
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 |
| ▶ | 31.7b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
Compiled 24 to 18 computations (25% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (exp.f64 a) (exp.f64 b)) |
| ✓ | 4.1b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
2 calls:
| 583.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 4.0ms | (+.f64 (exp.f64 a) (exp.f64 b)) |
| 1× | rewrite-expression-head |
| 8× | *-un-lft-identity_binary64 |
| 4× | add-log-exp_binary64 |
| 4× | add-sqr-sqrt_binary64 |
| 4× | log-prod_binary64 |
| 4× | add-cube-cbrt_binary64 |
2 calls:
| 3.0ms | (+.f64 (exp.f64 a) (exp.f64 b)) |
| 3.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 1× | egg-herbie |
| 618× | fma-neg_binary64 |
| 418× | associate-+l+_binary64 |
| 392× | fma-def_binary64 |
| 238× | times-frac_binary64 |
| 229× | associate-+r+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 123 | 1238 |
| 1 | 334 | 1183 |
| 2 | 1034 | 1155 |
| 3 | 4062 | 1151 |
| 4 | 4828 | 1151 |
| 5 | 4973 | 1151 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 80 | 3 | 83 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 81 | 3 | 84 |
| Status | Error | Program |
| 32.2b | (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) | |
| ▶ | 1.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 34.4b | (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b)))) |
Compiled 1379 to 624 computations (54.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log1p.f64 (exp.f64 a)) |
| ✓ | 0.0b | (+.f64 1 (exp.f64 a)) |
| ✓ | 0.0b | (/.f64 b (+.f64 1 (exp.f64 a))) |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
4 calls:
| 427.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 371.0ms | (log1p.f64 (exp.f64 a)) |
| 42.0ms | (/.f64 b (+.f64 1 (exp.f64 a))) |
| 3.0ms | (+.f64 1 (exp.f64 a)) |
| 1× | rewrite-expression-head |
| 27× | *-un-lft-identity_binary64 |
| 15× | add-sqr-sqrt_binary64 |
| 15× | add-cube-cbrt_binary64 |
| 12× | times-frac_binary64 |
| 9× | add-log-exp_binary64 |
4 calls:
| 15.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 8.0ms | (/.f64 b (+.f64 1 (exp.f64 a))) |
| 7.0ms | (+.f64 1 (exp.f64 a)) |
| 1.0ms | (log1p.f64 (exp.f64 a)) |
| 1× | egg-herbie |
| 571× | fma-neg_binary64 |
| 461× | cancel-sign-sub-inv_binary64 |
| 403× | fma-def_binary64 |
| 224× | distribute-rgt-in_binary64 |
| 201× | associate-+l+_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 152 | 1715 |
| 1 | 382 | 1640 |
| 2 | 927 | 1622 |
| 3 | 2571 | 1611 |
| 4 | 4779 | 1610 |
| 5 | 4994 | 1610 |
| 6 | 4923 | 1610 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 115 | 5 | 120 |
| Fresh | 0 | 2 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 116 | 7 | 123 |
| Status | Error | Program |
| 19.5b | (exp.f64 (log.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| 34.4b | (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b)))) | |
| ▶ | 1.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
| 2.4b | (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| 27.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (log.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| 27.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 32.2b | (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 2209 to 1168 computations (47.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (exp.f64 (log1p.f64 (exp.f64 a))) |
| 0.0b | (log1p.f64 (exp.f64 a)) | |
| ✓ | 0.0b | (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a)))) |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
3 calls:
| 1.1s | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
| 723.0ms | (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a)))) |
| 344.0ms | (exp.f64 (log1p.f64 (exp.f64 a))) |
| 1× | rewrite-expression-head |
| 15× | *-un-lft-identity_binary64 |
| 13× | add-sqr-sqrt_binary64 |
| 13× | add-cube-cbrt_binary64 |
| 9× | times-frac_binary64 |
| 7× | add-log-exp_binary64 |
3 calls:
| 10.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
| 6.0ms | (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a)))) |
| 2.0ms | (exp.f64 (log1p.f64 (exp.f64 a))) |
| 1× | egg-herbie |
| 516× | fma-neg_binary64 |
| 394× | associate-/l*_binary64 |
| 376× | cancel-sign-sub-inv_binary64 |
| 324× | fma-def_binary64 |
| 216× | associate-/l/_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 131 | 1755 |
| 1 | 316 | 1619 |
| 2 | 779 | 1601 |
| 3 | 2141 | 1595 |
| 4 | 4582 | 1594 |
| 5 | 4968 | 1594 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 159 | 0 | 159 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 159 | 7 | 166 |
| Status | Error | Program |
| 19.5b | (exp.f64 (log.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| 34.4b | (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b)))) | |
| ✓ | 1.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
| ▶ | 2.4b | (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 27.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (log.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| 27.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 32.2b | (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 2813 to 1102 computations (60.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| ✓ | 0.3b | (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| ✓ | 0.5b | (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| ✓ | 0.6b | (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) |
4 calls:
| 1.6s | (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 722.0ms | (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 313.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 34.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 1× | rewrite-expression-head |
| 134× | cbrt-prod_binary64 |
| 116× | *-un-lft-identity_binary64 |
| 91× | times-frac_binary64 |
| 90× | add-sqr-sqrt_binary64 |
| 62× | add-cube-cbrt_binary64 |
4 calls:
| 24.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 24.0ms | (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 4.0ms | (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 3.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 1× | egg-herbie |
| 651× | fma-def_binary64 |
| 436× | fma-neg_binary64 |
| 406× | cancel-sign-sub-inv_binary64 |
| 382× | times-frac_binary64 |
| 309× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 320 | 7416 |
| 1 | 702 | 6677 |
| 2 | 2363 | 6317 |
| 3 | 4593 | 6317 |
| 4 | 4947 | 6317 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 399 | 2 | 401 |
| Fresh | 2 | 3 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 402 | 6 | 408 |
| Status | Error | Program |
| 34.4b | (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b)))) | |
| ✓ | 1.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (exp.f64 (log1p.f64 (exp.f64 a))))) |
| 19.5b | (exp.f64 (log.f64 (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))))) | |
| 2.6b | (expm1.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (*.f64 (*.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))))) | |
| 27.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 32.2b | (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 13981 to 8210 computations (41.3% saved)
Total 0.6b remaining (51.3%)
Threshold costs 0.6b (51.3%)
Compiled 7805 to 5644 computations (27.7% saved)
| 1× | egg-herbie |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 17 |
| 1 | 9 | 17 |
| 2 | 9 | 17 |
Compiled 36 to 21 computations (41.7% saved)
| 1× | intervals |
| 1.4s | 1885× | body | 1024 | valid |
| 366.0ms | 969× | body | 512 | valid |
| 335.0ms | 4449× | body | 128 | valid |
| 197.0ms | 203× | body | 2048 | valid |
| 103.0ms | 494× | body | 256 | valid |
| 9.0ms | 132× | body | 128 | overflowed |
Compiled 139 to 89 computations (36% saved)
Loading profile data...