Herbie run
| Date: | Wednesday, January 31st, 2024 |
|---|---|
| Commit: | fcee7d92 on artem-tuning-64start-20-128-512-1024-2048 |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024031 |
| 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.4min)
Compiled 30816 to 18183 computations (41% saved)
ival-add, time spent: 33.4s, 28.0% of total-timeival-mult, time spent: 28.9s, 24.0% of total-timeival-sub, time spent: 22.8s, 19.0% of total-timeival-pow, time spent: 13.0s, 11.0% of total-timeival-div, time spent: 9.6s, 8.0% of total-timeival-fma, time spent: 4.6s, 4.0% of total-timeconst, time spent: 3.1s, 3.0% of total-timeival-exp, time spent: 1.5s, 1.0% of total-timeival-sqrt, time spent: 704.0ms, 1.0% of total-timeival-cbrt, time spent: 523.0ms, 0.0% of total-timeival-atan, time spent: 300.0ms, 0.0% of total-timeival-log, time spent: 299.0ms, 0.0% of total-timeival-expm1, time spent: 251.0ms, 0.0% of total-timeival-log1p, time spent: 150.0ms, 0.0% of total-timeival-neg, time spent: 137.0ms, 0.0% of total-timeival-cos, time spent: 64.0ms, 0.0% of total-timeival-hypot, time spent: 45.0ms, 0.0% of total-timeival-sin, time spent: 43.0ms, 0.0% of total-timeival-tan, time spent: 22.0ms, 0.0% of total-timeival-pi, time spent: 7.0ms, 0.0% of total-timeival-fabs, time spent: 1.0ms, 0.0% of total-time| 58.4s | 245498× | 0 | valid |
| 17.0s | 37867× | 1 | valid |
| 9.1s | 30940× | 0 | infinite |
| 15.5s | 21374× | 3 | valid |
| 5.7s | 9180× | 2 | valid |
| 685.0ms | 2660× | 0 | invalid |
| 1.1s | 1320× | 4 | valid |
| 268.0ms | 945× | 0 | unsamplable |
| 4.6s | 577× | 5 | exit |
| 344.0ms | 318× | 1 | infinite |
| 133.0ms | 199× | 2 | infinite |
| 65.0ms | 56× | 3 | infinite |
ival-add, time spent: 16.8s, 23.0% of total-timeival-mult, time spent: 13.9s, 19.0% of total-timeival-sub, time spent: 13.2s, 18.0% of total-timeival-pow, time spent: 7.1s, 10.0% of total-timeival-div, time spent: 6.4s, 9.0% of total-timeival-<=, time spent: 4.0s, 6.0% of total-timeconst, time spent: 2.3s, 3.0% of total-timeival-sin, time spent: 1.8s, 2.0% of total-timeival-sqrt, time spent: 1.5s, 2.0% of total-timeival-exp, time spent: 1.1s, 2.0% of total-timeival-neg, time spent: 988.0ms, 1.0% of total-timeival-cos, time spent: 960.0ms, 1.0% of total-timeival-and, time spent: 704.0ms, 1.0% of total-timeival-fma, time spent: 421.0ms, 1.0% of total-timeival-log, time spent: 331.0ms, 0.0% of total-timeival-tan, time spent: 298.0ms, 0.0% of total-timeival-==, time spent: 285.0ms, 0.0% of total-timeival-<, time spent: 248.0ms, 0.0% of total-timeival-atan, time spent: 95.0ms, 0.0% of total-timeival-fabs, time spent: 48.0ms, 0.0% of total-timeival-pi, time spent: 44.0ms, 0.0% of total-timeival-if, time spent: 4.0ms, 0.0% of total-time| 181386× | fma-def |
| 96492× | associate-*r* |
| 89598× | times-frac |
| 74970× | distribute-lft-in |
| 73494× | log-prod |
| 4× | saturated |
| 268× | node limit |
Compiled 26288 to 15728 computations (40.2% saved)
Compiled 2711335 to 1807986 computations (33.3% saved)
| 42× | egg-herbie |
| 48610× | fma-def |
| 20956× | sub-neg |
| 19818× | fma-neg |
| 19082× | div-sub |
| 18016× | unsub-neg |
| 11× | saturated |
| 31× | node limit |
Compiled 31205 to 18939 computations (39.3% saved)
ival-add, time spent: 6.6s, 32.0% of total-timeival-sub, time spent: 4.7s, 23.0% of total-timeival-mult, time spent: 4.6s, 22.0% of total-timeival-div, time spent: 2.2s, 11.0% of total-timeival-pow, time spent: 1.6s, 8.0% of total-timeconst, time spent: 615.0ms, 3.0% of total-timeival-exp, time spent: 134.0ms, 1.0% of total-timeival-neg, time spent: 105.0ms, 1.0% of total-timeival-sqrt, time spent: 92.0ms, 0.0% of total-timeival-sin, time spent: 79.0ms, 0.0% of total-timeival-cos, time spent: 52.0ms, 0.0% of total-timeival-fma, time spent: 23.0ms, 0.0% of total-timeival-tan, time spent: 17.0ms, 0.0% of total-timeival-log, time spent: 16.0ms, 0.0% of total-timeival-atan, time spent: 10.0ms, 0.0% of total-timeival-pi, time spent: 3.0ms, 0.0% of total-time| 169× | egg-herbie |
| 103314× | fma-def |
| 58964× | associate-*r* |
| 56420× | distribute-lft-in |
| 54488× | times-frac |
| 52722× | distribute-rgt-in |
| 42× | saturated |
| 127× | node limit |
| 24× | fuel |
| 18× | done |
Compiled 8415 to 5392 computations (35.9% saved)
| 127× | batch-egg-rewrite |
| 69358× | log1p-expm1-u |
| 60591× | expm1-log1p-u |
| 45388× | prod-diff |
| 44224× | log-prod |
| 39430× | expm1-udef |
| 127× | node limit |
Compiled 78237 to 53494 computations (31.6% saved)
94 calls:
| 2.7s | c |
| 1.5s | b |
| 1.4s | x |
| 1.3s | a |
| 1.2s | d |
Compiled 3977 to 2802 computations (29.5% saved)
| 282× | binary-search |
| 34× | left-value |
| 10× | predicate-same |
| 272× | narrow-enough |
| 5.8s | 19066× | 0 | valid |
| 3.3s | 5344× | 0 | infinite |
| 618.0ms | 4644× | 0 | invalid |
| 1.2s | 3796× | 1 | valid |
| 1.3s | 2325× | 2 | valid |
| 1.8s | 1616× | 3 | valid |
| 68.0ms | 172× | 1 | infinite |
| 96.0ms | 161× | 2 | infinite |
| 7.0ms | 33× | 0 | unsamplable |
| 112.0ms | 13× | 5 | exit |
Compiled 67331 to 47909 computations (28.8% saved)
ival-add, time spent: 3.1s, 30.0% of total-timeival-sub, time spent: 2.0s, 20.0% of total-timeival-mult, time spent: 1.9s, 19.0% of total-timeival-pow, time spent: 1.3s, 12.0% of total-timeival-div, time spent: 1.2s, 12.0% of total-timeconst, time spent: 243.0ms, 2.0% of total-timeival-exp, time spent: 179.0ms, 2.0% of total-timeival-sqrt, time spent: 108.0ms, 1.0% of total-timeival-neg, time spent: 99.0ms, 1.0% of total-timeival-log, time spent: 22.0ms, 0.0% of total-time| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 23.5% | 12.8% | 41.7% | 45.5% | 0% | 0% | 0% | 1 |
| 37.4% | 20.4% | 34.1% | 45.5% | 0% | 0% | 0% | 2 |
| 49.2% | 26.2% | 27.1% | 45.5% | 0% | 1.2% | 0% | 3 |
| 58% | 30.7% | 22.3% | 45.5% | 0% | 1.5% | 0% | 4 |
| 71.4% | 37.7% | 15.1% | 45.6% | 0% | 1.7% | 0% | 5 |
| 73% | 38.4% | 14.2% | 45.6% | 0% | 1.7% | 0% | 6 |
| 78% | 40.7% | 11.5% | 45.6% | 0% | 2.2% | 0% | 7 |
| 81.6% | 42.6% | 9.6% | 45.7% | 0% | 2.2% | 0% | 8 |
| 84.5% | 43.8% | 8% | 45.7% | 0% | 2.5% | 0% | 9 |
| 86.6% | 44.6% | 6.9% | 45.7% | 0% | 2.7% | 0% | 10 |
| 88.7% | 45.6% | 5.8% | 45.7% | 0% | 2.8% | 0.1% | 11 |
| 89.7% | 45.9% | 5.3% | 45.7% | 0% | 2.9% | 0.1% | 12 |
Compiled 1441 to 1017 computations (29.4% saved)
ival-sqrt, time spent: 1.3s, 16.0% of total-timeival-add, time spent: 1.3s, 16.0% of total-timeival-sub, time spent: 1.2s, 14.0% of total-timeival-div, time spent: 1.0s, 12.0% of total-timeival-mult, time spent: 1.0s, 12.0% of total-timeival-pow, time spent: 947.0ms, 11.0% of total-timeival-neg, time spent: 717.0ms, 8.0% of total-timeival-fabs, time spent: 353.0ms, 4.0% of total-timeconst, time spent: 159.0ms, 2.0% of total-timeival-exp, time spent: 159.0ms, 2.0% of total-timeival-<, time spent: 91.0ms, 1.0% of total-timeival-<=, time spent: 85.0ms, 1.0% of total-timeival-==, time spent: 53.0ms, 1.0% of total-timeival-if, time spent: 23.0ms, 0.0% of total-timeival-and, time spent: 17.0ms, 0.0% of total-timeival-pi, time spent: 6.0ms, 0.0% of total-timeival-atan, time spent: 1.0ms, 0.0% of total-timeival-log, time spent: 1.0ms, 0.0% of total-timeival-fma, time spent: 0.0ms, 0.0% of total-timeival-cos, time spent: 0.0ms, 0.0% of total-timeival-tan, time spent: 0.0ms, 0.0% of total-timeival-sin, time spent: 0.0ms, 0.0% of total-time4896 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 70.0ms | x | @ | 0 | (sqrt.f64 (+.f64 x y)) |
| 58.0ms | t | @ | 0 | (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt.f64 (log.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) |
| 42.0ms | c | @ | 0 | (sqrt.f64 (-.f64 (*.f64 b c) (*.f64 a d))) |
| 40.0ms | x | @ | inf | (pow.f64 (exp.f64 x) (+.f64 eps -1)) |
| 37.0ms | t | @ | inf | (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 9/2) |
Loading profile data...