| Date: | Saturday, October 22nd, 2022 |
|---|---|
| Commit: | f5f822ae on pareto-combine |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022295 |
| 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: 6.9min)
| 55.0s | 296796× | body | 256 | valid |
| 23.8s | 14968× | body | 2048 | valid |
| 14.1s | 21779× | body | 1024 | valid |
| 8.2s | 22379× | body | 256 | invalid |
| 4.7s | 12329× | body | 512 | valid |
| 2.1s | 202× | body | 8192 | exit |
| 806.0ms | 880× | body | 4096 | valid |
| 314.0ms | 195× | body | 1024 | invalid |
| 111.0ms | 235× | body | 512 | invalid |
| 22.0ms | 19× | body | 2048 | invalid |
94 calls:
| 8.9s | c |
| 8.8s | a |
| 7.4s | b |
| 4.9s | d |
| 2.9s | v |
Compiled 91967 to 51318 computations (44.2% saved)
Compiled 1698441 to 985377 computations (42% saved)
| 490× | egg-herbie |
| 163964× | fma-def_binary64 |
| 121236× | unswap-sqr_binary64 |
| 116560× | associate-*l*_binary64 |
| 93565× | associate-*r*_binary64 |
| 91143× | sqr-pow_binary64 |
| 13× | done |
| 123× | saturated |
| 29× | fuel |
| 367× | node limit |
Compiled 11244 to 6592 computations (41.4% saved)
| 406× | batch-egg-rewrite |
| 160658× | pow1_binary64 |
| 150997× | add-log-exp_binary64 |
| 150947× | expm1-log1p-u_binary64 |
| 150941× | log1p-expm1-u_binary64 |
| 137997× | add-exp-log_binary64 |
| 406× | node limit |
| 367× | binary-search |
| 31× | left-value |
Compiled 43990 to 29868 computations (32.1% saved)
Compiled 28555 to 16129 computations (43.5% saved)
Compiled 61962 to 41938 computations (32.3% saved)
| 43× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 54.5% | 45.5% | 0 |
| 3.5% | 51% | 45.5% | 1 |
| 3.5% | 51% | 45.5% | 2 |
| 10.9% | 42.4% | 46.7% | 3 |
| 14.3% | 38.7% | 47% | 4 |
| 18.2% | 34% | 47.8% | 5 |
| 19.4% | 31.4% | 49.2% | 6 |
| 22% | 27.2% | 50.8% | 7 |
| 23.4% | 25.2% | 51.5% | 8 |
| 25% | 22.5% | 52.5% | 9 |
| 26.9% | 20% | 53.1% | 10 |
| 28.3% | 18% | 53.7% | 11 |
| 29.7% | 16.2% | 54.1% | 12 |
Compiled 1441 to 1017 computations (29.4% saved)
| 51× | egg-herbie |
| 21013× | fma-def_binary64 |
| 19836× | fma-neg_binary64 |
| 13593× | times-frac_binary64 |
| 10684× | associate-*r*_binary64 |
| 10396× | associate-*l*_binary64 |
| 13× | saturated |
| 38× | node limit |
Compiled 16192 to 11017 computations (32% saved)
5070 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 168.0ms | x | @ | 0 | (+.f64 1/2 (/.f64 (*.f64 eps 1/8) (*.f64 x x))) |
| 160.0ms | t | @ | 0 | (*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) |
| 149.0ms | r | @ | 0 | (-.f64 (/.f64 2 (*.f64 r r)) (+.f64 3/2 (*.f64 (*.f64 (*.f64 w w) (*.f64 r r)) (+.f64 3/8 (*.f64 v 1/8))))) |
| 129.0ms | c | @ | 0 | (pow.f64 (*.f64 (*.f64 c -4) a) 1/4) |
| 115.0ms | x | @ | 0 | (*.f64 (fma.f64 x x x) x) |
Compiled 10919 to 5562 computations (49.1% saved)
| 84× | egg-herbie |
| 15213× | fma-def_binary64 |
| 8199× | fma-neg_binary64 |
| 7730× | distribute-rgt-in_binary64 |
| 5512× | unsub-neg_binary64 |
| 5438× | div-sub_binary64 |
| 6× | unsound |
| 53× | saturated |
| 25× | node limit |
Compiled 913 to 679 computations (25.6% saved)
Loading profile data...