| Date: | Monday, January 16th, 2023 |
|---|---|
| Commit: | e61c3a2b on new-nightly-report |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023016 |
| 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: 9.7min)
| 1.2min | 437753× | body | 256 | valid |
| 57.4s | 7825× | body | 8192 | exit |
| 11.6s | 19333× | body | 1024 | valid |
| 8.6s | 14669× | body | 1024 | infinite |
| 5.5s | 29437× | body | 256 | infinite |
| 3.6s | 10205× | body | 512 | valid |
| 2.7s | 6792× | body | 512 | infinite |
| 1.2s | 2199× | body | 2048 | valid |
| 957.0ms | 4706× | body | 256 | invalid |
| 748.0ms | 4250× | body | 256 | unsamplable |
| 593.0ms | 1102× | body | 4096 | valid |
| 241.0ms | 232× | body | 2048 | infinite |
Compiled 5485292 to 3263300 computations (40.5% saved)
| 704× | egg-herbie |
| 360906× | associate-*r* |
| 355666× | *-commutative |
| 349696× | associate-/l* |
| 326978× | distribute-lft-in |
| 315290× | associate-*l* |
| 6× | unsound |
| 82× | saturated |
| 20× | done |
| 37× | fuel |
| 616× | node limit |
Compiled 11637 to 7749 computations (33.4% saved)
| 590× | batch-egg-rewrite |
| 25× | egg-rewrite-iter-limit |
| 25× | egg-rewrite |
| 395550× | add-sqr-sqrt |
| 386312× | *-un-lft-identity |
| 365504× | add-cube-cbrt |
| 361338× | add-cbrt-cube |
| 243346× | add-exp-log |
| 34× | unsound |
| 25× | iter limit |
| 581× | node limit |
Compiled 183776 to 139329 computations (24.2% saved)
128 calls:
| 5.6s | x.im |
| 4.9s | x.re |
| 3.6s | y.im |
| 3.4s | y.re |
| 2.4s | i |
Compiled 198047 to 125988 computations (36.4% saved)
Compiled 57533 to 34220 computations (40.5% saved)
| 95× | egg-herbie |
| 47728× | associate-/l* |
| 46368× | *-commutative |
| 45476× | associate-+r+ |
| 44536× | associate-*r* |
| 44034× | associate-*r/ |
| 18× | saturated |
| 77× | node limit |
Compiled 13152 to 7403 computations (43.7% saved)
| 369× | binary-search |
| 24× | left-value |
| 7.3s | 42102× | body | 256 | valid |
| 323.0ms | 760× | body | 1024 | valid |
| 281.0ms | 1074× | body | 256 | infinite |
| 224.0ms | 277× | body | 1024 | infinite |
| 172.0ms | 335× | body | 512 | infinite |
| 127.0ms | 290× | body | 2048 | valid |
| 91.0ms | 414× | body | 512 | valid |
| 27.0ms | 50× | body | 4096 | valid |
| 26.0ms | 19× | body | 2048 | infinite |
Compiled 80007 to 55937 computations (30.1% saved)
| 57× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.1% | 13.9% | 0% | 0% | 0% | 0 |
| 7.1% | 6.1% | 79.9% | 13.9% | 0% | 0% | 0% | 1 |
| 13.4% | 11.2% | 72.9% | 13.9% | 0% | 1.8% | 0.2% | 2 |
| 23.9% | 19.5% | 62.2% | 13.9% | 0.5% | 3.5% | 0.3% | 3 |
| 29% | 23.2% | 56.8% | 13.9% | 2% | 3.7% | 0.4% | 4 |
| 41% | 32.6% | 46.8% | 13.9% | 2.5% | 3.8% | 0.4% | 5 |
| 46.3% | 36.1% | 41.9% | 13.9% | 3.6% | 4.1% | 0.4% | 6 |
| 54.4% | 41% | 34.4% | 13.9% | 5.3% | 5% | 0.4% | 7 |
| 58.2% | 43.5% | 31.2% | 13.9% | 5.8% | 5.1% | 0.4% | 8 |
| 63.3% | 46.6% | 27% | 13.9% | 6.8% | 5.1% | 0.4% | 9 |
| 67.1% | 48.8% | 23.9% | 13.9% | 7.3% | 5.6% | 0.4% | 10 |
| 70.4% | 50.6% | 21.3% | 13.9% | 8.1% | 5.6% | 0.4% | 11 |
| 73% | 52.2% | 19.3% | 13.9% | 8.5% | 5.7% | 0.4% | 12 |
Compiled 1543 to 980 computations (36.5% saved)
7320 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 348.0ms | x.im | @ | 0 | (cos.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) 4))) 3)) |
| 313.0ms | beta | @ | inf | (/.f64 (+.f64 beta (+.f64 alpha (fma.f64 alpha beta 1))) (*.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha (+.f64 beta 2)) (+.f64 alpha (+.f64 beta 2))))) |
| 101.0ms | re | @ | -inf | (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 7) -1/5040)) |
| 90.0ms | y.im | @ | inf | (-.f64 (exp.f64 (log1p.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) 1) |
| 88.0ms | y.re | @ | 0 | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) |
Compiled 11330 to 6404 computations (43.5% saved)
| 114× | egg-herbie |
| 20974× | fma-def |
| 20426× | *-commutative |
| 18310× | associate-*r* |
| 17522× | distribute-lft-in |
| 17206× | sqr-pow |
| 69× | saturated |
| 14× | unsound |
| 31× | node limit |
Compiled 1591 to 1038 computations (34.8% saved)
Loading profile data...