| 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: 31.3min)
| 2.8min | 15743× | body | 8192 | exit |
| 2.6min | 69314× | body | 1024 | valid |
| 2.0min | 8407× | body | 4096 | valid |
| 1.8min | 294552× | body | 256 | valid |
| 1.2min | 14186× | body | 2048 | valid |
| 54.0s | 1435× | body | 8192 | valid |
| 38.7s | 35027× | body | 512 | valid |
| 21.0s | 6215× | body | 1024 | infinite |
| 14.7s | 858× | body | 4096 | infinite |
| 11.8s | 1166× | body | 2048 | infinite |
| 11.2s | 21359× | body | 256 | infinite |
| 8.4s | 21132× | body | 256 | invalid |
| 5.8s | 14397× | body | 256 | unsamplable |
| 5.5s | 3248× | body | 512 | infinite |
| 3.1s | 1730× | body | 1024 | invalid |
| 2.8s | 1154× | body | 2048 | invalid |
| 1.3s | 34× | body | 8192 | infinite |
| 856.0ms | 1160× | body | 512 | invalid |
| 259.0ms | 913× | body | 256 | precondition |
| 8.0ms | 4× | body | 1024 | unsamplable |
| 5.0ms | 7× | body | 512 | unsamplable |
Compiled 7712398 to 4628939 computations (40% saved)
| 696× | egg-herbie |
| 512328× | rational.json-simplify-2 |
| 477892× | rational.json-simplify-47 |
| 443866× | rational.json-simplify-1 |
| 401042× | rational.json-simplify-54 |
| 349710× | rational.json-simplify-43 |
| 82× | saturated |
| 7× | done |
| 41× | fuel |
| 614× | node limit |
Compiled 16911 to 11007 computations (34.9% saved)
135 calls:
| 10.7s | B |
| 9.8s | F |
| 9.2s | a |
| 8.4s | phi1 |
| 8.2s | b |
Compiled 335896 to 183147 computations (45.5% saved)
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 2.4% | 1.9% | 77.5% | 20.6% | 0% | 0% | 0% | 1 |
| 5.1% | 4% | 75% | 21% | 0% | 0% | 0% | 2 |
| 12.7% | 9.8% | 67.2% | 21.2% | 0.5% | 1.4% | 0% | 3 |
| 20.5% | 15.3% | 59.4% | 21.2% | 1.1% | 2.6% | 0.5% | 4 |
| 26.8% | 19.7% | 53.7% | 21.2% | 1.3% | 3.4% | 0.7% | 5 |
| 32.2% | 23.1% | 48.7% | 21.2% | 1.7% | 4.2% | 1.1% | 6 |
| 35% | 24.7% | 45.9% | 21.2% | 2% | 4.9% | 1.2% | 7 |
| 37.7% | 26.3% | 43.5% | 21.3% | 2.3% | 5.3% | 1.4% | 8 |
| 41.6% | 28.6% | 40.1% | 21.3% | 2.7% | 6% | 1.5% | 9 |
| 43.1% | 29.4% | 38.8% | 21.3% | 2.7% | 6.3% | 1.6% | 10 |
| 45.8% | 31% | 36.7% | 21.3% | 2.8% | 6.6% | 1.6% | 11 |
| 48.4% | 32.6% | 34.7% | 21.3% | 2.8% | 7% | 1.7% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
| 598× | batch-egg-rewrite |
| 593608× | rational.json-5 |
| 592740× | rational.json-1 |
| 592738× | rational.json-2 |
| 592722× | rational.json-3 |
| 592566× | rational.json-4 |
| 598× | node limit |
Compiled 345705 to 228431 computations (33.9% saved)
Compiled 97298 to 52011 computations (46.5% saved)
| 437× | binary-search |
| 61× | left-value |
| 19.8s | 8710× | body | 1024 | valid |
| 17.1s | 35802× | body | 256 | valid |
| 7.3s | 3048× | body | 2048 | valid |
| 4.8s | 4258× | body | 512 | valid |
| 2.5s | 661× | body | 4096 | valid |
| 1.7s | 4202× | body | 256 | invalid |
| 493.0ms | 32× | body | 4096 | infinite |
| 459.0ms | 29× | body | 2048 | infinite |
| 199.0ms | 22× | body | 1024 | infinite |
| 102.0ms | 13× | body | 512 | infinite |
| 100.0ms | 285× | body | 256 | infinite |
| 21.0ms | 1× | body | 8192 | valid |
| 12.0ms | 14× | body | 512 | invalid |
| 5.0ms | 8× | body | 1024 | invalid |
| 4.0ms | 25× | body | 256 | unsamplable |
| 1.0ms | 1× | body | 2048 | invalid |
Compiled 126342 to 96218 computations (23.8% saved)
| 103× | egg-herbie |
| 66290× | rational.json-simplify-2 |
| 64560× | rational.json-simplify-1 |
| 58378× | rational.json-simplify-43 |
| 54276× | rational.json-simplify-41 |
| 51986× | rational.json-simplify-47 |
| 25× | saturated |
| 78× | node limit |
Compiled 10499 to 7103 computations (32.3% saved)
8340 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 280.0ms | b | @ | inf | (+.f64 (neg.f64 b) (sqrt.f64 (*.f64 (/.f64 1 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (*.f64 (-.f64 (*.f64 4 (*.f64 a c)) (*.f64 b b)) (-.f64 (*.f64 4 (*.f64 a c)) (*.f64 b b)))))) |
| 208.0ms | A | @ | -inf | (/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 C (+.f64 A C)) (*.f64 (-.f64 (pow.f64 B 2) (*.f64 C (*.f64 4 A))) (+.f64 F F))))) (-.f64 (pow.f64 B 2) (*.f64 C (*.f64 4 A)))) |
| 187.0ms | B | @ | 0 | (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 F) (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C)))) |
| 173.0ms | angle | @ | 0 | (*.f64 (-.f64 (*.f64 -8 (/.f64 (pow.f64 (/.f64 (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/90))) 2) 2) (pow.f64 (*.f64 y-scale x-scale) 2))) (*.f64 4 (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180))) 4) (pow.f64 (*.f64 y-scale x-scale) 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 (PI.f64) 1/180))) 4) (pow.f64 (*.f64 y-scale x-scale) 2))))) (pow.f64 (*.f64 a b) 2)) |
| 163.0ms | A | @ | 0 | (*.f64 -1/4 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 1/2)) A) (sqrt.f64 (*.f64 F B)))) |
Compiled 16847 to 9357 computations (44.5% saved)
| 100× | egg-herbie |
| 22582× | rational.json-simplify-1 |
| 22294× | rational.json-simplify-41 |
| 13804× | trig.json-simplify-20 |
| 13174× | trig.json-simplify-41 |
| 12384× | rational.json-simplify-2 |
| 77× | saturated |
| 6× | unsound |
| 17× | node limit |
Compiled 1569 to 1121 computations (28.6% saved)
Loading profile data...