Herbie run
| Date: | Saturday, February 17th, 2024 |
|---|---|
| Commit: | 77dd996a on explanations-table |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024048 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 7.8s)
| 668.0ms | 8529× | 256 | valid |
| 1.4s | 6792× | 1024 | valid |
| 1.9s | 4359× | 2048 | valid |
| 543.0ms | 3060× | 512 | valid |
| 188.0ms | 2019× | 256 | infinite |
| 3.0ms | 9× | 4096 | valid |
ival-add, time spent: 1.9s, 80.0% of total-timeival-sub, time spent: 295.0ms, 13.0% of total-timeival-mult, time spent: 102.0ms, 4.0% of total-timeconst, time spent: 78.0ms, 3.0% of total-time| 3× | egg-herbie |
| 8166× | fma-neg |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2552× | unsub-neg |
| 2488× | associate-+r- |
| Operator | Subexpression | Explanation | Count |
|---|---|---|---|
-.f64 | #f | cancellation | 254 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 245 | 0 |
| - | 9 | 514 |
| 1× | saturated |
| 2× | node limit |
Compiled 420 to 298 computations (29% saved)
ival-add, time spent: 76.0ms, 67.0% of total-timeival-sub, time spent: 18.0ms, 16.0% of total-timeival-mult, time spent: 11.0ms, 10.0% of total-timeconst, time spent: 8.0ms, 7.0% of total-time| 8276× | fma-neg |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2552× | unsub-neg |
| 2490× | associate-+r- |
| 1× | saturated |
| 3× | node limit |
Compiled 153 to 91 computations (40.5% saved)
| 1× | batch-egg-rewrite |
| 656× | unpow-prod-down |
| 396× | log1p-expm1-u |
| 396× | expm1-log1p-u |
| 376× | add-exp-log |
| 370× | log-prod |
| 1× | node limit |
Compiled 38 to 27 computations (28.9% saved)
ival-mult, time spent: 10.0ms, 48.0% of total-timecomposed, time spent: 4.0ms, 19.0% of total-timeival-add, time spent: 4.0ms, 19.0% of total-timeconst, time spent: 2.0ms, 10.0% of total-time| 4× | egg-herbie |
| 1114× | fma-neg |
| 1098× | associate-*r* |
| 1030× | associate-*l* |
| 876× | fma-define |
| 860× | log-prod |
| 3× | saturated |
| 1× | node limit |
| 3× | done |
Compiled 23 to 17 computations (26.1% saved)
8 calls:
| 15.0ms | x |
| 5.0ms | (+.f64 x 1) |
| 4.0ms | (-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1) |
| 4.0ms | (*.f64 (+.f64 x 1) (+.f64 x 1)) |
| 2.0ms | y |
Compiled 84 to 59 computations (29.8% saved)
Compiled 760 to 547 computations (28% saved)
Compiled 98 to 68 computations (30.6% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | inf | (*.f64 x (+.f64 x 2)) |
| 1.0ms | x | @ | -inf | (*.f64 x (+.f64 x 2)) |
| 1.0ms | x | @ | 0 | (*.f64 x (+.f64 x 2)) |
| 3× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 33 to 23 computations (30.3% saved)
ival-sub, time spent: 0.0ms, 0.0% of total-timeival-add, time spent: 0.0ms, 0.0% of total-timeival-mult, time spent: 0.0ms, 0.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-timeLoading profile data...