| Date: | Thursday, October 27th, 2022 |
|---|---|
| Commit: | 20216197 on main |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022300 |
| 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.4min)
| 57.1s | 296923× | body | 256 | valid |
| 24.2s | 14991× | body | 2048 | valid |
| 14.3s | 21620× | body | 1024 | valid |
| 7.6s | 22268× | body | 256 | invalid |
| 5.3s | 12355× | body | 512 | valid |
| 2.4s | 202× | body | 8192 | exit |
| 1.1s | 863× | body | 4096 | valid |
| 247.0ms | 205× | body | 1024 | invalid |
| 112.0ms | 263× | body | 512 | invalid |
| 28.0ms | 22× | body | 2048 | invalid |
93 calls:
| 8.9s | a |
| 6.7s | c |
| 6.1s | b |
| 3.6s | d |
| 2.2s | x |
Compiled 75198 to 43230 computations (42.5% saved)
Compiled 1592579 to 951368 computations (40.3% saved)
| 478× | egg-herbie |
| 161919× | fma-def_binary64 |
| 114009× | unswap-sqr_binary64 |
| 108437× | associate-*l*_binary64 |
| 87515× | times-frac_binary64 |
| 87235× | sqr-pow_binary64 |
| 12× | done |
| 126× | saturated |
| 30× | fuel |
| 352× | node limit |
Compiled 9653 to 5700 computations (41% saved)
| 394× | batch-egg-rewrite |
| 156553× | pow1_binary64 |
| 147265× | add-log-exp_binary64 |
| 147216× | expm1-log1p-u_binary64 |
| 147211× | log1p-expm1-u_binary64 |
| 131318× | add-exp-log_binary64 |
| 394× | node limit |
| 386× | binary-search |
| 11× | left-value |
Compiled 29575 to 20284 computations (31.4% saved)
Compiled 62434 to 42940 computations (31.2% saved)
Compiled 27753 to 15949 computations (42.5% 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)
Compiled 9356 to 4758 computations (49.1% saved)
| 45× | egg-herbie |
| 18306× | fma-def_binary64 |
| 14131× | fma-neg_binary64 |
| 10366× | times-frac_binary64 |
| 8024× | associate-/l*_binary64 |
| 7540× | associate-/r*_binary64 |
| 13× | saturated |
| 32× | node limit |
Compiled 14033 to 9435 computations (32.8% saved)
4983 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 132.0ms | t | @ | 0 | (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)) 2) |
| 123.0ms | x | @ | 0 | (pow.f64 (sqrt.f64 (/.f64 -10 (fma.f64 x x -1))) 2) |
| 59.0ms | c | @ | 0 | (log.f64 (/.f64 c b)) |
| 53.0ms | v | @ | inf | (*.f64 (/.f64 w (/.f64 (/.f64 (-.f64 1 v) r) r)) w) |
| 51.0ms | t1 | @ | 0 | (*.f64 (+.f64 t1 u) (+.f64 1 (/.f64 u t1))) |
| 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...