Herbie run
| Date: | Wednesday, January 3rd, 2024 |
|---|---|
| Commit: | 61d523c7 on cleanup-reprs |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2024003 |
| 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:simplifygenerate:proofs default |
Time bar (total: 9.1min)
Compiled 3874584 to 2555492 computations (34% saved)
| 38.2s | 179351× | body | 256 | valid |
| 13.1s | 67006× | body | 256 | invalid |
| 8.5s | 42276× | body | 256 | infinite |
| 6.5s | 10346× | body | 2048 | valid |
| 6.3s | 12328× | body | 1024 | valid |
| 3.5s | 5958× | body | 1024 | invalid |
| 2.4s | 6694× | body | 512 | valid |
| 2.3s | 2145× | body | 4096 | valid |
| 2.1s | 651× | body | 4096 | infinite |
| 1.1s | 2999× | body | 512 | invalid |
| 1.1s | 616× | body | 2048 | infinite |
| 792.0ms | 765× | body | 8192 | valid |
| 316.0ms | 477× | body | 1024 | infinite |
| 152.0ms | 287× | body | 512 | infinite |
| 53.0ms | 219× | body | 256 | unsamplable |
| 8.0ms | 12× | body | 8192 | exit |
| 2.0ms | 2× | body | 2048 | invalid |
Compiled 39396 to 20797 computations (47.2% saved)
| 175378× | fma-def |
| 148128× | times-frac |
| 135080× | associate-*r* |
| 108920× | log-prod |
| 93944× | *-commutative |
| 2× | unsound |
| 4× | saturated |
| 346× | node limit |
Compiled 37233 to 23589 computations (36.6% saved)
152 calls:
| 5.3s | l |
| 3.6s | t |
| 2.9s | F |
| 2.1s | h |
| 2.0s | NaChar |
Compiled 161947 to 97011 computations (40.1% saved)
| 149× | egg-herbie |
| 95490× | fma-def |
| 71254× | times-frac |
| 69706× | associate-*r* |
| 58028× | associate-*l* |
| 55720× | *-commutative |
| 3× | done |
| 1× | unsound |
| 31× | saturated |
| 28× | fuel |
| 117× | node limit |
Compiled 13486 to 9078 computations (32.7% saved)
Compiled 228184 to 166396 computations (27.1% saved)
| 118× | batch-egg-rewrite |
| 55974× | log1p-expm1-u |
| 43775× | expm1-log1p-u |
| 39624× | expm1-udef |
| 36124× | prod-diff |
| 34642× | log1p-udef |
| 1× | unsound |
| 117× | node limit |
| 31× | egg-herbie |
| 40752× | fma-def |
| 16580× | fma-neg |
| 15360× | div-sub |
| 14408× | distribute-lft-neg-in |
| 13246× | associate-/l* |
| 4× | saturated |
| 27× | node limit |
Compiled 55060 to 34295 computations (37.7% saved)
| 295× | binary-search |
| 110× | left-value |
| 287× | narrow-enough |
| 8× | predicate-same |
| 6.5s | 27421× | body | 256 | valid |
| 1.4s | 6005× | body | 256 | infinite |
| 1.4s | 7383× | body | 256 | invalid |
| 449.0ms | 1179× | body | 1024 | valid |
| 129.0ms | 257× | body | 2048 | valid |
| 114.0ms | 386× | body | 512 | valid |
| 27.0ms | 44× | body | 4096 | valid |
| 22.0ms | 60× | body | 1024 | invalid |
| 17.0ms | 21× | body | 8192 | valid |
| 10.0ms | 40× | body | 512 | invalid |
| 6.0ms | 12× | body | 1024 | infinite |
| 6.0ms | 16× | body | 512 | infinite |
| 2.0ms | 3× | body | 2048 | infinite |
Compiled 91146 to 69448 computations (23.8% saved)
| 31× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 98.2% | 1.8% | 0% | 0% | 0% | 0 |
| 23% | 22.6% | 75.6% | 1.8% | 0% | 0% | 0% | 1 |
| 24.2% | 23.3% | 73.2% | 1.8% | 0% | 1.6% | 0% | 2 |
| 29.6% | 27.4% | 65.2% | 1.8% | 0% | 5.6% | 0% | 3 |
| 33.6% | 30.4% | 60.2% | 1.8% | 0% | 7.3% | 0.4% | 4 |
| 35.9% | 32.4% | 57.9% | 1.8% | 0% | 7.3% | 0.6% | 5 |
| 40.2% | 36.2% | 53.8% | 1.8% | 0% | 7.5% | 0.7% | 6 |
| 45.3% | 40.3% | 48.7% | 1.8% | 0% | 8.1% | 1.1% | 7 |
| 47.6% | 41.8% | 45.9% | 1.8% | 0% | 9.4% | 1.2% | 8 |
| 50.6% | 44.1% | 43.1% | 1.8% | 0% | 9.7% | 1.2% | 9 |
| 51.7% | 44.9% | 41.9% | 1.8% | 0% | 10.1% | 1.3% | 10 |
| 53.4% | 46% | 40.1% | 1.8% | 0% | 10.7% | 1.3% | 11 |
| 55.2% | 47.2% | 38.3% | 1.8% | 0% | 11.3% | 1.4% | 12 |
Compiled 845 to 604 computations (28.5% saved)
8451 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 127.0ms | w | @ | inf | (log.f64 (pow.f64 (pow.f64 (exp.f64 h) w) (pow.f64 D 2))) |
| 94.0ms | k | @ | 0 | (/.f64 a (+.f64 1 (/.f64 (*.f64 (+.f64 1000 (pow.f64 k 3)) k) (+.f64 100 (*.f64 k (+.f64 k -10)))))) |
| 92.0ms | h | @ | -inf | (pow.f64 (/.f64 d h) 1/4) |
| 91.0ms | U* | @ | 0 | (sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (-.f64 (-.f64 t (*.f64 2 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U*))))) |
| 89.0ms | l | @ | -inf | (pow.f64 (cbrt.f64 (cbrt.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (fma.f64 2 (pow.f64 (/.f64 l t) -2) 1)))))) 3) |
Loading profile data...