| Date: | Saturday, March 18th, 2023 |
|---|---|
| Commit: | b6070fe6 on using-ruler-nightlies |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023077 |
| 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: 16.6min)
| 2.3min | 439310× | body | 256 | valid |
| 1.9min | 7849× | body | 8192 | exit |
| 24.5s | 23306× | body | 1024 | valid |
| 18.2s | 14315× | body | 1024 | infinite |
| 10.8s | 29472× | body | 256 | infinite |
| 7.8s | 12543× | body | 512 | valid |
| 5.8s | 6685× | body | 512 | infinite |
| 2.7s | 2506× | body | 2048 | valid |
| 2.4s | 4698× | body | 256 | invalid |
| 1.1s | 4045× | body | 256 | unsamplable |
| 1.0s | 1183× | body | 4096 | valid |
| 446.0ms | 204× | body | 2048 | infinite |
Compiled 5213317 to 3015532 computations (42.2% saved)
| 650× | egg-herbie |
| 453498× | rational.json-simplify-47 |
| 444988× | rational.json-simplify-2 |
| 371104× | rational.json-simplify-1 |
| 370472× | rational.json-simplify-54 |
| 319790× | rational.json-simplify-49 |
| 103× | saturated |
| 23× | done |
| 34× | fuel |
| 547× | node limit |
Compiled 9571 to 6177 computations (35.5% saved)
| 536× | batch-egg-rewrite |
| 538592× | rational.json-5 |
| 538354× | rational.json-2 |
| 538354× | rational.json-1 |
| 538348× | rational.json-3 |
| 537730× | rational.json-4 |
| 536× | node limit |
Compiled 84293 to 47795 computations (43.3% saved)
Compiled 180469 to 127574 computations (29.3% saved)
128 calls:
| 3.8s | x.im |
| 3.4s | y.re |
| 3.0s | y.im |
| 3.0s | x.re |
| 2.2s | d1 |
Compiled 139205 to 91588 computations (34.2% saved)
| 271× | binary-search |
| 21× | left-value |
| 10.5s | 28975× | body | 256 | valid |
| 2.1s | 897× | body | 1024 | infinite |
| 990.0ms | 790× | body | 2048 | valid |
| 977.0ms | 614× | body | 1024 | valid |
| 623.0ms | 123× | body | 4096 | valid |
| 397.0ms | 306× | body | 512 | infinite |
| 223.0ms | 474× | body | 512 | valid |
| 202.0ms | 510× | body | 256 | infinite |
| 30.0ms | 15× | body | 2048 | infinite |
Compiled 61576 to 42106 computations (31.6% saved)
| 83× | egg-herbie |
| 52716× | rational.json-simplify-2 |
| 47594× | rational.json-simplify-1 |
| 45678× | rational.json-simplify-47 |
| 41876× | rational.json-simplify-41 |
| 37128× | rational.json-simplify-54 |
| 29× | saturated |
| 54× | node limit |
Compiled 10615 to 6275 computations (40.9% saved)
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 7% | 6% | 80.3% | 13.7% | 0% | 0% | 0% | 1 |
| 13.1% | 11% | 73.3% | 13.7% | 0% | 1.7% | 0.2% | 2 |
| 23.6% | 19.2% | 62% | 13.7% | 0.5% | 4.3% | 0.3% | 3 |
| 29.2% | 23.2% | 56.3% | 13.7% | 1.9% | 4.5% | 0.4% | 4 |
| 41.4% | 32.6% | 46.2% | 13.7% | 2.4% | 4.6% | 0.4% | 5 |
| 46.7% | 36.2% | 41.3% | 13.7% | 3.5% | 4.9% | 0.4% | 6 |
| 54.8% | 41.1% | 33.8% | 13.7% | 5.2% | 5.8% | 0.4% | 7 |
| 58.6% | 43.6% | 30.7% | 13.7% | 5.7% | 5.9% | 0.4% | 8 |
| 63.7% | 46.7% | 26.6% | 13.7% | 6.7% | 5.9% | 0.4% | 9 |
| 67.5% | 48.8% | 23.5% | 13.7% | 7.2% | 6.4% | 0.4% | 10 |
| 70.8% | 50.6% | 20.9% | 13.7% | 7.9% | 6.4% | 0.4% | 11 |
| 73.3% | 52.2% | 19% | 13.7% | 8.3% | 6.4% | 0.4% | 12 |
Compiled 1558 to 994 computations (36.2% saved)
5937 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 264.0ms | beta | @ | 0 | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (fabs.f64 (*.f64 (-.f64 (-.f64 (neg.f64 i) i) (+.f64 alpha beta)) (+.f64 alpha (+.f64 i (+.f64 i beta))))) 1)) |
| 196.0ms | re | @ | inf | (log.f64 (pow.f64 base (atan2.f64 im re))) |
| 186.0ms | im | @ | -inf | (*.f64 re (pow.f64 im 3)) |
| 181.0ms | d1 | @ | inf | (*.f64 (-.f64 d2 (+.f64 d1 d3)) d1) |
| 178.0ms | x.im | @ | -inf | (cos.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) |
Compiled 9969 to 5592 computations (43.9% saved)
| 116× | egg-herbie |
| 16056× | rational.json-simplify-2 |
| 13192× | rational.json-simplify-1 |
| 11292× | rational.json-simplify-41 |
| 10128× | trig.json-simplify-41 |
| 9286× | rational.json-simplify-43 |
| 91× | saturated |
| 13× | unsound |
| 12× | node limit |
Compiled 1606 to 1052 computations (34.5% saved)
Loading profile data...