Herbie run
| Date: | Friday, July 14th, 2023 |
|---|---|
| Commit: | 132e0c53 on result-filters |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023195 |
| 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: 30.8min)
| 3.9min | 1792754× | body | 256 | valid |
| 47.4s | 340394× | body | 256 | infinite |
| 25.3s | 141840× | body | 256 | invalid |
| 23.8s | 45616× | body | 1024 | valid |
| 11.5s | 31920× | body | 512 | valid |
| 7.1s | 9906× | body | 2048 | valid |
| 1.9s | 1615× | body | 8192 | exit |
| 1.6s | 5022× | body | 1024 | infinite |
| 840.0ms | 3162× | body | 512 | infinite |
| 560.0ms | 346× | body | 4096 | valid |
| 314.0ms | 1272× | body | 1024 | invalid |
| 134.0ms | 843× | body | 512 | invalid |
| 1.0ms | 4× | body | 2048 | invalid |
| 1213066× | fma-def |
| 697352× | associate-*r* |
| 627384× | fma-neg |
| 623536× | log-prod |
| 557428× | associate-*l* |
| 122× | saturated |
| 10× | unsound |
| 1493× | node limit |
Compiled 111877 to 61706 computations (44.8% saved)
490 calls:
| 45.2s | y |
| 42.4s | x |
| 39.6s | z |
| 28.5s | t |
| 23.2s | a |
Compiled 394917 to 212900 computations (46.1% saved)
| 1361× | egg-herbie |
| 909194× | fma-def |
| 491480× | associate-*r* |
| 481658× | log-prod |
| 470484× | fma-neg |
| 426250× | associate-*l* |
| 7× | unsound |
| 76× | done |
| 436× | saturated |
| 194× | fuel |
| 918× | node limit |
Compiled 63129 to 38874 computations (38.4% saved)
Compiled 116861 to 47850 computations (59.1% saved)
Compiled 8602202 to 4144460 computations (51.8% saved)
Compiled 721055 to 493893 computations (31.5% saved)
| 821× | batch-egg-rewrite |
| 519374× | pow1 |
| 489258× | add-exp-log |
| 488998× | log1p-expm1-u |
| 488964× | expm1-log1p-u |
| 466950× | add-log-exp |
| 1× | unsound |
| 820× | node limit |
| 3397× | binary-search |
| 279× | left-value |
| 3327× | narrow-enough |
| 4× | predicate-failed |
| 66× | predicate-same |
| 51.2s | 328378× | body | 256 | valid |
| 19.7s | 82334× | body | 256 | infinite |
| 3.5s | 4971× | body | 1024 | valid |
| 2.5s | 5526× | body | 512 | valid |
| 1.0s | 8411× | body | 256 | invalid |
| 940.0ms | 2276× | body | 1024 | infinite |
| 402.0ms | 1468× | body | 512 | infinite |
| 204.0ms | 315× | body | 2048 | valid |
| 0.0ms | 1× | body | 4096 | valid |
Compiled 728783 to 545316 computations (25.2% saved)
Compiled 133804 to 65118 computations (51.3% saved)
41778 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 330.0ms | z | @ | 0 | (*.f64 (*.f64 z 2) (pow.f64 (exp.f64 t) t)) |
| 243.0ms | x | @ | inf | (/.f64 (fma.f64 (sqrt.f64 2) (*.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (+.f64 3 (fma.f64 (cos.f64 y) (/.f64 9 (fma.f64 (sqrt.f64 5) 3/2 9/2)) (+.f64 (*.f64 (sqrt.f64 5) 3/2) -3/2)))) |
| 145.0ms | x | @ | 0 | (*.f64 x (log.f64 y)) |
| 138.0ms | y | @ | 0 | (/.f64 (+.f64 (*.f64 y b) (*.f64 a (*.f64 y z))) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 15234687407/1000000000) z) 314690115749/10000000000) z) 119400905721/10000000000) z) 607771387771/1000000000000)) |
| 136.0ms | y | @ | -inf | (pow.f64 (*.f64 (cbrt.f64 (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) (cbrt.f64 3)) 3) |
| 540× | egg-herbie |
| 268784× | fma-def |
| 112036× | fma-neg |
| 103534× | sub-neg |
| 90584× | div-sub |
| 79236× | distribute-lft-in |
| 59× | unsound |
| 353× | saturated |
| 128× | node limit |
Compiled 4571 to 3320 computations (27.4% saved)
| 270× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.7% | 46.6% | 53.2% | 0.1% | 0% | 0% | 0% | 1 |
| 50.1% | 49.9% | 49.7% | 0.1% | 0% | 0.2% | 0% | 2 |
| 58% | 57.5% | 41.6% | 0.1% | 0% | 0.7% | 0% | 3 |
| 64.2% | 63.3% | 35.4% | 0.1% | 0% | 1.2% | 0% | 4 |
| 69.9% | 68.8% | 29.6% | 0.1% | 0% | 1.4% | 0% | 5 |
| 74.5% | 72.8% | 25% | 0.1% | 0% | 2% | 0% | 6 |
| 78.6% | 76.1% | 20.7% | 0.1% | 0% | 3% | 0% | 7 |
| 80.4% | 77.4% | 18.9% | 0.1% | 0% | 3.5% | 0% | 8 |
| 83.2% | 79.7% | 16.1% | 0.1% | 0% | 4% | 0% | 9 |
| 84.9% | 80.8% | 14.4% | 0.1% | 0% | 4.6% | 0% | 10 |
| 87.7% | 83.1% | 11.6% | 0.1% | 0% | 5.1% | 0% | 11 |
| 88.9% | 83.9% | 10.5% | 0.1% | 0% | 5.5% | 0% | 12 |
Compiled 4021 to 2770 computations (31.1% saved)
Loading profile data...