| Date: | Friday, July 29th, 2022 |
|---|---|
| Commit: | f364f272 on change-defaults |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022210 |
| 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: 5.1min)
| 1.0min | 374639× | body | 64 | valid |
| 53.2s | 7831× | body | 8192 | exit |
| 14.0s | 19072× | body | 1024 | valid |
| 11.6s | 14426× | body | 1024 | invalid |
| 6.5s | 33342× | body | 64 | invalid |
| 5.5s | 10314× | body | 512 | valid |
| 4.2s | 6852× | body | 512 | invalid |
| 3.6s | 8456× | body | 128 | valid |
| 2.0s | 5332× | body | 256 | valid |
| 1.6s | 2119× | body | 2048 | valid |
| 1.3s | 3151× | body | 256 | invalid |
| 854.0ms | 1124× | body | 4096 | valid |
| 434.0ms | 1571× | body | 128 | invalid |
| 363.0ms | 247× | body | 2048 | invalid |
Compiled 1544244 to 946536 computations (38.7% saved)
| 244× | egg-herbie |
| 73072× | fma-def_binary64 |
| 48793× | fma-neg_binary64 |
| 37730× | associate-*l*_binary64 |
| 36882× | unswap-sqr_binary64 |
| 36769× | distribute-rgt-in_binary64 |
| 94× | saturated |
| 150× | node limit |
| 142× | batch-egg-rewrite |
| 4× | egg-rewrite-iter-limit |
| 6× | egg-rewrite |
| 54446× | pow1_binary64 |
| 51389× | add-log-exp_binary64 |
| 51327× | expm1-log1p-u_binary64 |
| 51319× | log1p-expm1-u_binary64 |
| 45816× | add-exp-log_binary64 |
| 3× | unsound |
| 4× | iter limit |
| 145× | node limit |
| 51× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 87.4% | 12.6% | 0 |
| 2% | 85.4% | 12.6% | 1 |
| 7.7% | 77.5% | 14.8% | 2 |
| 16.9% | 67.5% | 15.6% | 3 |
| 20% | 62.5% | 17.5% | 4 |
| 30% | 51.8% | 18.2% | 5 |
| 33.7% | 46.6% | 19.7% | 6 |
| 39% | 38.3% | 22.7% | 7 |
| 41.8% | 34.8% | 23.4% | 8 |
| 45.3% | 30.2% | 24.5% | 9 |
| 47.7% | 26.7% | 25.7% | 10 |
| 49.8% | 23.8% | 26.4% | 11 |
| 51.5% | 21.6% | 26.9% | 12 |
Compiled 1515 to 960 computations (36.6% saved)
2133 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 88.0ms | x.im | @ | -inf | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) 3) 3) |
| 66.0ms | y.re | @ | inf | (-.f64 (exp.f64 (log1p.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.im x.re)) y.im))))) 1) |
| 65.0ms | x.im | @ | inf | (cos.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) 3) 3)) |
| 65.0ms | x.re | @ | inf | (cos.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) 3) 3)) |
| 63.0ms | base | @ | inf | (pow.f64 (/.f64 (log.f64 base) (log.f64 (hypot.f64 re im))) -1) |
Compiled 25796 to 16202 computations (37.2% saved)
| 102× | egg-herbie |
| 14102× | fma-def_binary64 |
| 10931× | fma-neg_binary64 |
| 7982× | distribute-rgt-in_binary64 |
| 7223× | associate-*l*_binary64 |
| 6726× | distribute-lft-in_binary64 |
| 57× | saturated |
| 14× | unsound |
| 31× | node limit |
Compiled 1406 to 871 computations (38.1% saved)
| 25× | done |
| 26× | fuel |
Compiled 4096 to 2502 computations (38.9% saved)
| 6× | left-value |
| 7× | binary-search |
10 calls:
| 194.0ms | re |
| 103.0ms | x |
| 54.0ms | y.re |
| 34.0ms | beta |
| 0.0ms | (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) |
Compiled 529 to 260 computations (50.9% saved)
Loading profile data...