Herbie run
| Date: | Saturday, December 9th, 2023 |
|---|---|
| Commit: | 665878db on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023343 |
| 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: 1.7hr)
| 9.4min | 3466625× | body | 256 | valid |
| 3.8min | 40096× | body | 8192 | exit |
| 1.9min | 201312× | body | 1024 | valid |
| 1.7min | 100502× | body | 2048 | valid |
| 1.4min | 533477× | body | 256 | infinite |
| 1.0min | 14347× | body | 4096 | valid |
| 42.2s | 125955× | body | 512 | valid |
| 31.9s | 182547× | body | 256 | invalid |
| 29.3s | 2360× | body | 8192 | valid |
| 11.9s | 65446× | body | 256 | precondition |
| 10.9s | 9047× | body | 1024 | infinite |
| 7.3s | 38410× | body | 256 | unsamplable |
| 6.9s | 12032× | body | 1024 | invalid |
| 6.3s | 1269× | body | 4096 | infinite |
| 4.8s | 1560× | body | 2048 | infinite |
| 3.6s | 5223× | body | 512 | infinite |
| 2.4s | 6693× | body | 512 | invalid |
| 1.1s | 1192× | body | 2048 | invalid |
| 368.0ms | 26× | body | 8192 | infinite |
| 6.0ms | 7× | body | 512 | unsamplable |
| 3.0ms | 1× | body | 8192 | invalid |
| 1.0ms | 1× | body | 4096 | invalid |
Compiled 451001 to 200740 computations (55.5% saved)
| 2452448× | fma-def |
| 1361410× | associate-*r* |
| 1155560× | times-frac |
| 1107148× | log-prod |
| 1048712× | associate-*l* |
| 31× | unsound |
| 130× | saturated |
| 3433× | node limit |
Compiled 319193 to 182571 computations (42.8% saved)
Compiled 33786567 to 17951511 computations (46.9% saved)
1181 calls:
| 57.2s | x |
| 52.8s | y |
| 45.5s | z |
| 35.6s | a |
| 34.9s | t |
Compiled 1503432 to 829546 computations (44.8% saved)
| 2190× | egg-herbie |
| 1277196× | fma-def |
| 842304× | log-prod |
| 811812× | associate-*r* |
| 709306× | times-frac |
| 694202× | associate-*l* |
| 25× | unsound |
| 535× | saturated |
| 140× | done |
| 396× | fuel |
| 1630× | node limit |
Compiled 127063 to 80141 computations (36.9% saved)
Compiled 2656886 to 1804778 computations (32.1% saved)
| 1654× | batch-egg-rewrite |
| 949873× | log1p-expm1-u |
| 736157× | expm1-log1p-u |
| 562476× | expm1-udef |
| 556876× | prod-diff |
| 527666× | log-prod |
| 10× | unsound |
| 1644× | node limit |
| 540× | egg-herbie |
| 721254× | fma-def |
| 259182× | fma-neg |
| 226530× | sub-neg |
| 222024× | div-sub |
| 211796× | unsub-neg |
| 201× | saturated |
| 339× | node limit |
Compiled 455415 to 248029 computations (45.5% saved)
| 4702× | binary-search |
| 640× | left-value |
| 4602× | narrow-enough |
| 100× | predicate-same |
| 1.3min | 449416× | body | 256 | valid |
| 22.8s | 93706× | body | 256 | infinite |
| 9.7s | 14540× | body | 1024 | valid |
| 4.2s | 24744× | body | 256 | invalid |
| 3.9s | 4382× | body | 2048 | valid |
| 3.6s | 9975× | body | 512 | valid |
| 1.3s | 1224× | body | 4096 | valid |
| 754.0ms | 2286× | body | 512 | invalid |
| 625.0ms | 798× | body | 1024 | infinite |
| 469.0ms | 837× | body | 1024 | invalid |
| 309.0ms | 426× | body | 2048 | invalid |
| 206.0ms | 133× | body | 4096 | infinite |
| 192.0ms | 198× | body | 2048 | infinite |
| 172.0ms | 463× | body | 512 | infinite |
| 104.0ms | 96× | body | 8192 | valid |
| 51.0ms | 337× | body | 256 | unsamplable |
Compiled 1123388 to 832010 computations (25.9% saved)
| 544× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 85.5% | 14.5% | 0% | 0% | 0% | 0 |
| 39.9% | 34.1% | 51.4% | 14.5% | 0% | 0% | 0% | 1 |
| 45.9% | 38.8% | 45.8% | 14.5% | 0% | 0.9% | 0% | 2 |
| 54.9% | 45.3% | 37.3% | 14.5% | 0% | 2.9% | 0% | 3 |
| 61.5% | 50.2% | 31.4% | 14.5% | 0% | 3.9% | 0% | 4 |
| 67.6% | 54.8% | 26.3% | 14.5% | 0% | 4.3% | 0% | 5 |
| 71.4% | 57.7% | 23.1% | 14.5% | 0% | 4.6% | 0% | 6 |
| 75.3% | 60.3% | 19.8% | 14.6% | 0% | 5.1% | 0.1% | 7 |
| 77.2% | 61.6% | 18.2% | 14.6% | 0% | 5.5% | 0.1% | 8 |
| 79.8% | 63.4% | 16.1% | 14.6% | 0% | 5.8% | 0.1% | 9 |
| 81.3% | 64.4% | 14.8% | 14.6% | 0% | 6% | 0.1% | 10 |
| 83.5% | 66% | 13% | 14.6% | 0% | 6.2% | 0.1% | 11 |
| 84.6% | 66.7% | 12.1% | 14.6% | 0% | 6.4% | 0.1% | 12 |
Compiled 13340 to 8620 computations (35.4% saved)
81402 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0s | hi | @ | -inf | (pow.f64 (/.f64 -1 (+.f64 -1 (/.f64 hi lo))) 3) |
| 668.0ms | d | @ | inf | (pow.f32 (pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.w (floor.f32 d)) (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h)))) 2) (pow.f32 (*.f32 (floor.f32 w) dY.u) 2)) 3/2) 1/3) |
| 437.0ms | dY.u | @ | -inf | (pow.f32 (cbrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.w (floor.f32 d)) (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h)))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dY.w) (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v))) 2))) 3/2) |
| 385.0ms | x | @ | inf | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
| 342.0ms | phi1 | @ | 0 | (sqrt.f64 (+.f64 (pow.f64 (fma.f64 (cos.f64 (*.f64 phi2 1/2)) (sin.f64 (*.f64 1/2 phi1)) (*.f64 (cos.f64 (*.f64 1/2 phi1)) (sin.f64 (*.f64 phi2 -1/2)))) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) |
Loading profile data...