Time bar (total: 4.0s)
| 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 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 0% | 99.9% | 0.1% | 7 |
| 6.2% | 93.6% | 0.1% | 8 |
| 7.8% | 92.1% | 0.1% | 9 |
| 11.7% | 87.8% | 0.5% | 10 |
| 18.7% | 65.9% | 15.4% | 11 |
| 21.5% | 61% | 17.5% | 12 |
| 24.2% | 51.8% | 24% | 13 |
| 26.8% | 38.2% | 35% | 14 |
Compiled 12 to 8 computations (33.3% saved)
| 886.0ms | 8256× | body | 128 | valid |
| 675.0ms | 6609× | body | 128 | invalid |
Compiled 24 to 16 computations (33.3% saved)
| 2× | egg-herbie |
| 914× | fma-neg_binary64 |
| 342× | associate-/l*_binary64 |
| 336× | fma-def_binary64 |
| 318× | associate-/r/_binary64 |
| 267× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 48 |
| 1 | 55 | 48 |
| 2 | 144 | 48 |
| 3 | 388 | 48 |
| 4 | 895 | 48 |
| 5 | 1639 | 48 |
| 6 | 3131 | 48 |
| 7 | 4643 | 48 |
| 0 | 3 | 3 |
| 1× | saturated |
| 1× | node limit |
Compiled 11 to 7 computations (36.4% saved)
| 1× | egg-herbie |
| 1052× | fma-def_binary64 |
| 290× | unswap-sqr_binary64 |
| 257× | *-commutative_binary64 |
| 210× | distribute-rgt-in_binary64 |
| 206× | associate-/l*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 12 |
| 1 | 19 | 12 |
| 2 | 46 | 12 |
| 3 | 112 | 12 |
| 4 | 251 | 12 |
| 5 | 454 | 12 |
| 6 | 809 | 12 |
| 7 | 2311 | 12 |
| 8 | 3475 | 12 |
| 9 | 4680 | 12 |
| 1× | node limit |
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 |
| ▶ | 8.3b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| 9.2b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
Compiled 63 to 38 computations (39.7% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| ✓ | 7.9b | (*.f64 x (/.f64 z y)) |
18 calls:
| 8.0ms | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) | x | -inf |
| 8.0ms | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) | z | inf |
| 7.0ms | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) | x | inf |
| 7.0ms | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) | z | -inf |
| 6.0ms | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) | y | 0 |
| 1× | batch-egg-rewrite |
| 537× | log-prod_binary64 |
| 172× | expm1-udef_binary64 |
| 172× | log1p-udef_binary64 |
| 162× | pow3_binary64 |
| 160× | log-div_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 19 |
| 1 | 177 | 19 |
| 2 | 2636 | 19 |
| 1× | node limit |
| 1× | egg-herbie |
| 818× | fma-def_binary64 |
| 407× | associate-/r/_binary64 |
| 383× | associate-/r*_binary64 |
| 323× | associate-*l/_binary64 |
| 259× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 49 | 1089 |
| 1 | 151 | 1021 |
| 2 | 376 | 1021 |
| 3 | 884 | 1017 |
| 4 | 2451 | 1005 |
| 1× | node limit |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 84 | 6 | 90 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 84 | 8 | 92 |
| Status | Error | Program |
| 7.3b | (/.f64 y (*.f64 z x)) | |
| 9.2b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) | |
| 8.1b | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | |
| 7.6b | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) | |
| ✓ | 8.3b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| 8.5b | (/.f64 (cosh.f64 x) (*.f64 z (/.f64 x y))) | |
| 8.3b | (pow.f64 (/.f64 (/.f64 z y) (/.f64 (cosh.f64 x) x)) -1) | |
| ▶ | 7.1b | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) |
Compiled 1370 to 487 computations (64.5% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (/.f64 (/.f64 (cosh.f64 x) x) z) |
| ✓ | 6.5b | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) |
15 calls:
| 9.0ms | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) | x | -inf |
| 8.0ms | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) | z | -inf |
| 8.0ms | (/.f64 (/.f64 (cosh.f64 x) x) z) | x | -inf |
| 7.0ms | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) | x | inf |
| 7.0ms | (/.f64 (/.f64 (cosh.f64 x) x) z) | z | -inf |
| 1× | batch-egg-rewrite |
| 520× | log-prod_binary64 |
| 177× | pow1/3_binary64 |
| 170× | expm1-udef_binary64 |
| 170× | log1p-udef_binary64 |
| 162× | log-div_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 21 |
| 1 | 176 | 21 |
| 2 | 2597 | 21 |
| 1× | node limit |
| 1× | egg-herbie |
| 451× | associate-/r/_binary64 |
| 391× | associate-/r*_binary64 |
| 369× | associate-*l/_binary64 |
| 306× | associate-/l*_binary64 |
| 285× | fma-def_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 1296 |
| 1 | 192 | 1208 |
| 2 | 474 | 1208 |
| 3 | 1059 | 1204 |
| 4 | 2805 | 1196 |
| 5 | 4945 | 1196 |
| 1× | node limit |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 102 | 2 | 104 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 104 | 8 | 112 |
| Status | Error | Program |
| 8.1b | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | |
| ▶ | 7.6b | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) |
| ✓ | 8.3b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| 9.2b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) | |
| 8.5b | (/.f64 (cosh.f64 x) (*.f64 z (/.f64 x y))) | |
| 9.3b | (/.f64 (*.f64 (/.f64 (cosh.f64 x) x) y) z) | |
| 8.2b | (/.f64 (/.f64 (cosh.f64 x) x) (/.f64 z y)) | |
| ✓ | 7.1b | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) |
Compiled 1591 to 644 computations (59.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) |
| ✓ | 0.7b | (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3) |
| ✓ | 4.2b | (cbrt.f64 (/.f64 (*.f64 x z) y)) |
| ✓ | 5.9b | (/.f64 (*.f64 x z) y) |
36 calls:
| 62.0ms | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) | y | -inf |
| 58.0ms | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) | x | -inf |
| 58.0ms | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) | z | -inf |
| 20.0ms | (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3) | z | -inf |
| 20.0ms | (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3) | y | -inf |
| 1× | batch-egg-rewrite |
| 610× | log-prod_binary64 |
| 198× | egg-rr |
| 197× | expm1-udef_binary64 |
| 197× | log1p-udef_binary64 |
| 178× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 35 |
| 1 | 237 | 35 |
| 2 | 3124 | 35 |
| 1× | node limit |
| 1× | egg-herbie |
| 818× | fma-def_binary64 |
| 407× | associate-/r/_binary64 |
| 383× | associate-/r*_binary64 |
| 323× | associate-*l/_binary64 |
| 259× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 49 | 1089 |
| 1 | 151 | 1021 |
| 2 | 376 | 1021 |
| 3 | 884 | 1017 |
| 4 | 2451 | 1005 |
| 1× | node limit |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 165 | 0 | 165 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 165 | 8 | 173 |
| Status | Error | Program |
| ▶ | 8.1b | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) |
| ✓ | 7.6b | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) |
| ✓ | 8.3b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| 9.2b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) | |
| 8.5b | (/.f64 (cosh.f64 x) (*.f64 z (/.f64 x y))) | |
| 9.3b | (/.f64 (*.f64 (/.f64 (cosh.f64 x) x) y) z) | |
| 8.2b | (/.f64 (/.f64 (cosh.f64 x) x) (/.f64 z y)) | |
| ✓ | 7.1b | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) |
Compiled 2737 to 1061 computations (61.2% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) |
| ✓ | 8.1b | (/.f64 (/.f64 y z) x) |
18 calls:
| 10.0ms | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | x | -inf |
| 9.0ms | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | z | -inf |
| 7.0ms | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | x | inf |
| 7.0ms | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | y | -inf |
| 6.0ms | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) | z | inf |
| 1× | batch-egg-rewrite |
| 519× | log-prod_binary64 |
| 177× | pow1/3_binary64 |
| 170× | log-div_binary64 |
| 170× | expm1-udef_binary64 |
| 170× | log1p-udef_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 19 |
| 1 | 176 | 19 |
| 2 | 2618 | 19 |
| 1× | node limit |
| 1× | egg-herbie |
| 824× | fma-def_binary64 |
| 406× | associate-/r/_binary64 |
| 384× | associate-/r*_binary64 |
| 324× | associate-*l/_binary64 |
| 259× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 1089 |
| 1 | 150 | 1021 |
| 2 | 375 | 1021 |
| 3 | 884 | 1017 |
| 4 | 2455 | 1005 |
| 1× | node limit |
8 alts after pruning (4 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 101 | 0 | 101 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 101 | 8 | 109 |
| Status | Error | Program |
| ✓ | 8.1b | (*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x)) |
| ✓ | 7.6b | (/.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x z) y)) 3)) |
| ✓ | 8.3b | (/.f64 (cosh.f64 x) (*.f64 x (/.f64 z y))) |
| 9.2b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) | |
| 8.5b | (/.f64 (cosh.f64 x) (*.f64 z (/.f64 x y))) | |
| 9.3b | (/.f64 (*.f64 (/.f64 (cosh.f64 x) x) y) z) | |
| 8.2b | (/.f64 (/.f64 (cosh.f64 x) x) (/.f64 z y)) | |
| ✓ | 7.1b | (*.f64 (/.f64 (/.f64 (cosh.f64 x) x) z) y) |
Compiled 1441 to 554 computations (61.6% saved)
Total 0.3b remaining (80%)
Threshold costs 0.3b (80%)
Compiled 1074 to 704 computations (34.5% saved)
| 2× | left-value |
2 calls:
| 0.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 0.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
4.894914819057092e+146 | ∈ [ | 4.894914819057092e+146 | , | 1.9600582533509797e+147 | ] | |
-3.03197732379256e+304 | ∈ [ | -3.03197732379256e+304 | , | -3.4071186309750915e+303 | ] | |
Compiled 11 to 7 computations (36.4% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 65 |
| 1 | 22 | 65 |
| 1× | saturated |
| 1× | fuel |
Compiled 183 to 95 computations (48.1% saved)
Loading profile data...