| Date: | Saturday, November 12th, 2022 |
|---|---|
| Commit: | 474beffe on svg-pareto-plots |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022316 |
| 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:simplify default |
Time bar (total: 1.2min)
| 12.9s | 70183× | body | 256 | valid |
| 2.6s | 4121× | body | 2048 | valid |
| 1.2s | 4882× | body | 256 | invalid |
Compiled 532795 to 313579 computations (41.1% saved)
| 92× | egg-herbie |
| 34709× | fma-def_binary64 |
| 24798× | fma-neg_binary64 |
| 17196× | times-frac_binary64 |
| 16141× | associate-/l*_binary64 |
| 13729× | associate-*l*_binary64 |
| 45× | saturated |
| 4× | done |
| 5× | fuel |
| 47× | node limit |
Compiled 3048 to 1934 computations (36.5% saved)
| 74× | batch-egg-rewrite |
| 27444× | log-prod_binary64 |
| 27266× | pow1_binary64 |
| 25616× | add-log-exp_binary64 |
| 25602× | expm1-log1p-u_binary64 |
| 25602× | log1p-expm1-u_binary64 |
| 74× | node limit |
23 calls:
| 1.4s | a |
| 1.2s | c |
| 1.2s | b |
| 506.0ms | z |
| 493.0ms | y |
Compiled 19237 to 11131 computations (42.1% saved)
| 80× | binary-search |
| 12× | left-value |
Compiled 13792 to 9595 computations (30.4% saved)
Compiled 6450 to 3382 computations (47.6% saved)
Compiled 15442 to 10469 computations (32.2% saved)
| 16× | egg-herbie |
| 9854× | fma-def_binary64 |
| 7070× | times-frac_binary64 |
| 5684× | fma-neg_binary64 |
| 4750× | associate-*r*_binary64 |
| 4494× | associate-*l*_binary64 |
| 3× | saturated |
| 13× | node limit |
Compiled 8590 to 5819 computations (32.3% saved)
| 9× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 94.4% | 5.6% | 2 |
| 5.6% | 83.2% | 11.2% | 3 |
| 15.3% | 68% | 16.8% | 4 |
| 21.5% | 59% | 19.5% | 5 |
| 26.7% | 52.4% | 20.9% | 6 |
| 35.7% | 41.3% | 23% | 7 |
| 39.9% | 36.8% | 23.3% | 8 |
| 45.1% | 30.8% | 24.1% | 9 |
| 50.1% | 24.6% | 25.4% | 10 |
| 53.5% | 20.7% | 25.8% | 11 |
| 56.1% | 17.2% | 26.8% | 12 |
Compiled 161 to 110 computations (31.7% saved)
927 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 102.0ms | x | @ | inf | (-.f64 (neg.f64 (log.f64 x)) x) |
| 44.0ms | c | @ | 0 | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) |
| 41.0ms | a | @ | -inf | (pow.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)) 1/4) |
| 41.0ms | c | @ | 0 | (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4)))) b) |
| 38.0ms | f | @ | inf | (pow.f64 (sqrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) 2) |
Compiled 2952 to 1704 computations (42.3% saved)
| 18× | egg-herbie |
| 2992× | fma-neg_binary64 |
| 2715× | fma-def_binary64 |
| 2317× | div-sub_binary64 |
| 2137× | associate-/l*_binary64 |
| 1898× | times-frac_binary64 |
| 1× | unsound |
| 13× | saturated |
| 4× | node limit |
Compiled 169 to 118 computations (30.2% saved)
Loading profile data...