Time bar (total: 5.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% | 79.6% | 14.2% | 8 |
| 7.8% | 75.7% | 16.5% | 9 |
| 11.7% | 68.6% | 19.6% | 10 |
| 20.3% | 49.3% | 30.4% | 11 |
| 22.2% | 44.4% | 33.4% | 12 |
| 25.2% | 37.3% | 37.5% | 13 |
| 28% | 27.3% | 44.7% | 14 |
Compiled 12 to 8 computations (33.3% saved)
| 925.0ms | 8256× | body | 128 | valid |
| 462.0ms | 4451× | body | 128 | invalid |
Compiled 35 to 23 computations (34.3% saved)
| 1× | egg-herbie |
| 1052× | fma-def_binary64 |
| 423× | fabs-mul_binary64 |
| 333× | distribute-rgt-in_binary64 |
| 319× | div-sub_binary64 |
| 307× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 12 |
| 1 | 19 | 12 |
| 2 | 45 | 12 |
| 3 | 105 | 12 |
| 4 | 219 | 12 |
| 5 | 360 | 12 |
| 6 | 617 | 12 |
| 7 | 1698 | 12 |
| 8 | 2037 | 12 |
| 9 | 2629 | 12 |
| 10 | 3437 | 12 |
| 11 | 3909 | 12 |
| 12 | 4557 | 12 |
| 13 | 5039 | 12 |
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 |
| ▶ | 9.0b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
Compiled 33 to 21 computations (36.4% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (cosh.f64 x) |
| ✓ | 0.0b | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| ✓ | 8.4b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
3 calls:
| 56.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 28.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 8.0ms | (cosh.f64 x) |
| 1× | rewrite-expression-head |
| 18× | add-sqr-sqrt_binary64 |
| 17× | add-cbrt-cube_binary64 |
| 17× | add-exp-log_binary64 |
| 13× | associate-*r*_binary64 |
| 13× | *-un-lft-identity_binary64 |
3 calls:
| 5.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 5.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 1.0ms | (cosh.f64 x) |
| 1× | egg-herbie |
| 935× | times-frac_binary64 |
| 578× | fma-def_binary64 |
| 493× | associate-*l*_binary64 |
| 378× | associate-/r*_binary64 |
| 349× | associate-/r/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 190 | 2514 |
| 1 | 472 | 2226 |
| 2 | 1591 | 2222 |
| 3 | 4481 | 2216 |
| 4 | 4965 | 2216 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 129 | 11 | 140 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 130 | 11 | 141 |
| Status | Error | Program |
| 6.6b | (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x))) (cbrt.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)))) (cbrt.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)))) | |
| ▶ | 5.7b | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) (*.f64 z x)) |
| 9.0b | (/.f64 (/.f64 (*.f64 (cosh.f64 x) y) x) z) | |
| 9.3b | (*.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z)) | |
| 9.9b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)) (cbrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z))) (cbrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z))) | |
| 37.7b | (cbrt.f64 (pow.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)) 3)) | |
| 32.1b | (/.f64 (*.f64 (/.f64 (cosh.f64 x) (sqrt.f64 x)) (/.f64 y (sqrt.f64 x))) z) | |
| 9.2b | (/.f64 (cosh.f64 x) (/.f64 z (/.f64 y x))) | |
| 9.8b | (/.f64 (*.f64 (*.f64 (cosh.f64 x) (*.f64 (cbrt.f64 (/.f64 y x)) (cbrt.f64 (/.f64 y x)))) (cbrt.f64 (/.f64 y x))) z) | |
| 34.2b | (/.f64 (*.f64 (*.f64 (cosh.f64 x) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) x)) z) | |
| 36.2b | (*.f64 (sqrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)) (sqrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z))) |
Compiled 2435 to 850 computations (65.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) |
| ✓ | 0.0b | (*.f64 (exp.f64 x) y) |
| ✓ | 0.0b | (/.f64 y (exp.f64 x)) |
| ✓ | 5.4b | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) (*.f64 z x)) |
4 calls:
| 60.0ms | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) (*.f64 z x)) |
| 22.0ms | (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) |
| 13.0ms | (/.f64 y (exp.f64 x)) |
| 5.0ms | (*.f64 (exp.f64 x) y) |
| 1× | rewrite-expression-head |
| 18× | add-sqr-sqrt_binary64 |
| 16× | *-un-lft-identity_binary64 |
| 16× | add-cube-cbrt_binary64 |
| 13× | times-frac_binary64 |
| 13× | add-cbrt-cube_binary64 |
4 calls:
| 8.0ms | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) (*.f64 z x)) |
| 5.0ms | (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) |
| 3.0ms | (*.f64 (exp.f64 x) y) |
| 3.0ms | (/.f64 y (exp.f64 x)) |
| 1× | egg-herbie |
| 734× | associate-/l*_binary64 |
| 620× | fma-def_binary64 |
| 230× | distribute-rgt-in_binary64 |
| 206× | distribute-lft-in_binary64 |
| 196× | associate-/l/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 2868 |
| 1 | 531 | 2628 |
| 2 | 1818 | 2609 |
| 3 | 5244 | 2609 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 158 | 5 | 163 |
| Fresh | 7 | 3 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 166 | 8 | 174 |
| Status | Error | Program |
| 9.0b | (/.f64 (/.f64 (*.f64 (cosh.f64 x) y) x) z) | |
| 9.3b | (*.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z)) | |
| 8.3b | (/.f64 1 (*.f64 (/.f64 z 1/2) (/.f64 x (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))))) | |
| 5.6b | (/.f64 (*.f64 (/.f64 1/2 z) (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))) x) | |
| 37.7b | (cbrt.f64 (pow.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)) 3)) | |
| ▶ | 5.5b | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
| 6.8b | (*.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) (/.f64 1 (*.f64 z x))) | |
| 32.8b | (*.f64 (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) z) (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) x)) |
Compiled 4265 to 1846 computations (56.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (*.f64 (exp.f64 x) y) | |
| ✓ | 0.0b | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) |
| 0.0b | (/.f64 y (exp.f64 x)) | |
| ✓ | 5.5b | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
2 calls:
| 61.0ms | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
| 48.0ms | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) |
| 1× | rewrite-expression-head |
| 108× | times-frac_binary64 |
| 60× | *-un-lft-identity_binary64 |
| 60× | add-sqr-sqrt_binary64 |
| 60× | add-cube-cbrt_binary64 |
| 20× | associate-/l*_binary64 |
2 calls:
| 8.0ms | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
| 7.0ms | (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) |
| 1× | egg-herbie |
| 705× | associate-/l*_binary64 |
| 563× | associate-/r*_binary64 |
| 543× | associate-/l/_binary64 |
| 307× | fma-def_binary64 |
| 265× | associate-/r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 256 | 5498 |
| 1 | 621 | 5280 |
| 2 | 1699 | 5270 |
| 3 | 5044 | 5270 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 310 | 2 | 312 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 312 | 8 | 320 |
| Status | Error | Program |
| 9.0b | (/.f64 (/.f64 (*.f64 (cosh.f64 x) y) x) z) | |
| 8.3b | (/.f64 1 (*.f64 (/.f64 z 1/2) (/.f64 x (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))))) | |
| 6.8b | (*.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) (/.f64 1 (*.f64 z x))) | |
| 32.8b | (*.f64 (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) z) (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) x)) | |
| 5.6b | (/.f64 (*.f64 (/.f64 1/2 z) (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))) x) | |
| 37.7b | (cbrt.f64 (pow.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)) 3)) | |
| ✓ | 5.5b | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
| ▶ | 5.5b | (/.f64 (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) x) |
Compiled 9087 to 3949 computations (56.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))) |
| ✓ | 0.0b | (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) |
| ✓ | 0.0b | (/.f64 1/2 (exp.f64 x)) |
| ✓ | 5.5b | (/.f64 (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) x) |
4 calls:
| 61.0ms | (/.f64 (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) x) |
| 52.0ms | (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) |
| 7.0ms | (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))) |
| 7.0ms | (/.f64 1/2 (exp.f64 x)) |
| 1× | rewrite-expression-head |
| 27× | add-sqr-sqrt_binary64 |
| 22× | *-un-lft-identity_binary64 |
| 22× | times-frac_binary64 |
| 22× | add-cube-cbrt_binary64 |
| 20× | add-cbrt-cube_binary64 |
4 calls:
| 9.0ms | (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) |
| 5.0ms | (/.f64 (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) x) |
| 2.0ms | (/.f64 1/2 (exp.f64 x)) |
| 0.0ms | (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))) |
| 1× | egg-herbie |
| 580× | associate-/r*_binary64 |
| 413× | associate-/r/_binary64 |
| 308× | distribute-rgt-in_binary64 |
| 302× | distribute-lft-in_binary64 |
| 289× | fma-def_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 244 | 3829 |
| 1 | 560 | 3477 |
| 2 | 1936 | 3466 |
| 3 | 4942 | 3462 |
| 4 | 5064 | 3462 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 179 | 0 | 179 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 179 | 8 | 187 |
| Status | Error | Program |
| 9.0b | (/.f64 (/.f64 (*.f64 (cosh.f64 x) y) x) z) | |
| 8.3b | (/.f64 1 (*.f64 (/.f64 z 1/2) (/.f64 x (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))))) | |
| 6.8b | (*.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) (/.f64 1 (*.f64 z x))) | |
| 32.8b | (*.f64 (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) z) (/.f64 (sqrt.f64 (*.f64 y (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x))))) x)) | |
| 5.6b | (/.f64 (*.f64 (/.f64 1/2 z) (fma.f64 y (exp.f64 x) (/.f64 y (exp.f64 x)))) x) | |
| 37.7b | (cbrt.f64 (pow.f64 (*.f64 (/.f64 y (*.f64 z x)) (cosh.f64 x)) 3)) | |
| ✓ | 5.5b | (/.f64 (/.f64 (+.f64 (*.f64 1/2 (*.f64 (exp.f64 x) y)) (*.f64 1/2 (/.f64 y (exp.f64 x)))) z) x) |
| ✓ | 5.5b | (/.f64 (*.f64 (/.f64 y z) (fma.f64 1/2 (exp.f64 x) (/.f64 1/2 (exp.f64 x)))) x) |
Compiled 3866 to 1882 computations (51.3% saved)
Total 0.5b remaining (85.4%)
Threshold costs 0.5b (85.4%)
Compiled 10280 to 6167 computations (40% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 3.0365501221063844e+39 | 3.248223830002184e+42 | 3.30371938788329e+39 |
| 5 | -5.567908362602903e+34 | -2.0054564965010831e+34 | -3.443166066450671e+34 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 10× | *-commutative_binary64 |
| 2× | +-commutative_binary64 |
| 1× | sub-neg_binary64 |
| 1× | neg-sub0_binary64 |
| 1× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 104 |
| 1 | 57 | 104 |
| 2 | 59 | 104 |
| 3 | 60 | 104 |
| 4 | 60 | 104 |
Compiled 293 to 185 computations (36.9% saved)
Loading profile data...