Time bar (total: 35.6s)
| 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% | 50% | 0.1% | 6 |
| 50% | 50% | 0.1% | 7 |
| 50% | 50% | 0.1% | 8 |
| 50% | 50% | 0.1% | 9 |
| 50% | 50% | 0.1% | 10 |
| 50% | 50% | 0.1% | 11 |
| 50% | 50% | 0.1% | 12 |
| 50% | 50% | 0.1% | 13 |
| 50% | 50% | 0.1% | 14 |
Compiled 9 to 7 computations (22.2% saved)
(sort a b)
| 10.0s | 7892× | body | 8192 | exit |
| 1.4s | 1972× | body | 1024 | valid |
| 603.0ms | 4561× | body | 128 | valid |
| 422.0ms | 997× | body | 512 | valid |
| 180.0ms | 200× | body | 2048 | valid |
| 140.0ms | 526× | body | 256 | valid |
Compiled 26 to 20 computations (23.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.9b | (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)) |
| ✓ | 3.3b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
2 calls:
| 427.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 5.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 (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 81 | 2 | 83 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 81 | 3 | 84 |
| Status | Error | Program |
| ▶ | 0.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| ✓ | 31.9b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 31.9b | (expm1.f64 (log1p.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 1349 to 614 computations (54.5% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 1 (exp.f64 a)) |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
2 calls:
| 240.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 2.0ms | (+.f64 1 (exp.f64 a)) |
| 1× | rewrite-expression-head |
| 8× | *-un-lft-identity_binary64 |
| 7× | add-log-exp_binary64 |
| 6× | fma-def_binary64 |
| 4× | add-sqr-sqrt_binary64 |
| 4× | add-cube-cbrt_binary64 |
2 calls:
| 8.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 2.0ms | (+.f64 1 (exp.f64 a)) |
| 1× | egg-herbie |
| 786× | fma-neg_binary64 |
| 496× | associate-+r+_binary64 |
| 405× | times-frac_binary64 |
| 356× | associate-*l*_binary64 |
| 317× | fma-def_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 88 | 955 |
| 1 | 256 | 894 |
| 2 | 626 | 884 |
| 3 | 1780 | 874 |
| 4 | 3990 | 873 |
| 5 | 5038 | 873 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 57 | 2 | 59 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 57 | 5 | 62 |
| Status | Error | Program |
| ✓ | 0.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 17.9b | (exp.f64 (log.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) | |
| ▶ | 0.9b | (expm1.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| ✓ | 31.9b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 31.9b | (expm1.f64 (log1p.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 1054 to 574 computations (45.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (+.f64 1 (exp.f64 a)) | |
| 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | |
| ✓ | 0.0b | (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))) |
| ✓ | 0.1b | (expm1.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
2 calls:
| 646.0ms | (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 242.0ms | (expm1.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 1× | rewrite-expression-head |
| 3× | expm1-log1p-u_binary64 |
| 2× | *-un-lft-identity_binary64 |
| 2× | add-sqr-sqrt_binary64 |
| 2× | add-cube-cbrt_binary64 |
| 2× | add-cbrt-cube_binary64 |
2 calls:
| 0.0ms | (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))) |
| 0.0ms | (expm1.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 1× | egg-herbie |
| 427× | associate-+r+_binary64 |
| 269× | associate-+l+_binary64 |
| 268× | +-commutative_binary64 |
| 226× | cancel-sign-sub-inv_binary64 |
| 216× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 281 | 3342 |
| 1 | 879 | 3194 |
| 2 | 3748 | 3133 |
| 3 | 4963 | 3133 |
| 4 | 4976 | 3133 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 133 | 2 | 135 |
| Fresh | 1 | 1 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 135 | 5 | 140 |
| Status | Error | Program |
| ✓ | 31.9b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 63.4b | (expm1.f64 (+.f64 (/.f64 (exp.f64 a) b) (+.f64 (-.f64 (+.f64 (/.f64 1 b) (+.f64 (/.f64 (log1p.f64 (exp.f64 a)) b) (*.f64 (/.f64 (log1p.f64 (exp.f64 a)) b) (exp.f64 a)))) (log1p.f64 (exp.f64 a))) (log.f64 b)))) | |
| ✓ | 0.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| ▶ | 1.7b | (expm1.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))) |
| 31.9b | (expm1.f64 (log1p.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 5156 to 3150 computations (38.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (expm1.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))) |
| ✓ | 0.2b | (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| ✓ | 0.3b | (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| ✓ | 0.3b | (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
4 calls:
| 13.8s | (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| 2.2s | (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 659.0ms | (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| 239.0ms | (expm1.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))) |
| 1× | rewrite-expression-head |
| 30× | pow1_binary64 |
| 25× | add-sqr-sqrt_binary64 |
| 23× | cbrt-prod_binary64 |
| 16× | pow1/3_binary64 |
| 15× | *-un-lft-identity_binary64 |
4 calls:
| 8.0ms | (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| 6.0ms | (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) |
| 1.0ms | (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) |
| 0.0ms | (expm1.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))) |
| 1× | egg-herbie |
| 944× | fma-def_binary64 |
| 404× | associate-/l*_binary64 |
| 79× | sqr-pow_binary64 |
| 36× | sub-neg_binary64 |
| 34× | unpow1/3_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3512 | 55888 |
| 1 | 5334 | 55888 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 319 | 1 | 320 |
| Fresh | 0 | 2 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 320 | 5 | 325 |
| Status | Error | Program |
| ✓ | 31.9b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
| 63.4b | (expm1.f64 (+.f64 (/.f64 (exp.f64 a) b) (+.f64 (-.f64 (+.f64 (/.f64 1 b) (+.f64 (/.f64 (log1p.f64 (exp.f64 a)) b) (*.f64 (/.f64 (log1p.f64 (exp.f64 a)) b) (exp.f64 a)))) (log1p.f64 (exp.f64 a))) (log.f64 b)))) | |
| ✓ | 0.6b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 1.9b | (expm1.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))))) (cbrt.f64 (log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))))))) | |
| 31.9b | (expm1.f64 (log1p.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))) |
Compiled 110531 to 77923 computations (29.5% saved)
Total 0.6b remaining (53.7%)
Threshold costs 0.6b (53.7%)
Compiled 4893 to 3380 computations (30.9% saved)
| 1× | egg-herbie |
| 2× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 16 |
| 1 | 13 | 16 |
| 2 | 12 | 16 |
Compiled 233 to 140 computations (39.9% saved)
Loading profile data...