
| Date: | Thursday, June 27th, 2024 |
|---|---|
| Commit: | d87a728e on artem-popl-eval-histograms |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024179 |
| Parameters: | 256 points for 0 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs -o setup:simplify |
Time bar (total: 28.4min)
| 53.8s | 104 150× | 1 | valid-baseline |
| 35.7s | 8 261× | 3 | valid-sollya |
| 33.7s | 104 150× | 1 | valid-rival |
| 31.5s | 104 150× | 1 | valid-sollya |
| 28.6s | 244 089× | 0 | valid-sollya |
| 25.5s | 8 261× | 3 | valid-baseline |
| 24.6s | 244 089× | 0 | valid-baseline |
| 22.2s | 19 229× | 2 | valid-baseline |
| 21.1s | 244 089× | 0 | valid-rival |
| 17.7s | 19 229× | 2 | valid-sollya |
| 13.6s | 8 261× | 3 | valid-rival |
| 10.8s | 1 062× | 4 | valid-sollya |
| 10.1s | 19 229× | 2 | valid-rival |
| 5.5s | 1 062× | 4 | valid-baseline |
| 3.8s | 1 062× | 4 | valid-rival |
| 208.0ms | 4 022× | 0 | valid-rival+baseline-inf |
| 140.0ms | 630× | 1 | valid-rival-only-real |
| 92.0ms | 9× | 4 | valid-rival+baseline-zero |
| 91.0ms | 814× | 0 | valid-rival-only-real |
| 56.0ms | 6× | 4 | valid-rival+baseline-real |
| 51.0ms | 9× | 3 | valid-rival+baseline-zero |
| 26.0ms | 156× | 0 | valid-rival+baseline-zero |
| 24.0ms | 44× | 1 | valid-rival+baseline-zero |
| 19.0ms | 315× | 0 | valid-rival-only-inf |
| 18.0ms | 8× | 3 | valid-rival+baseline-real |
| 18.0ms | 2× | 4 | valid-rival-only-zero |
| 11.0ms | 11× | 1 | valid-rival+sollya-real |
| 10.0ms | 5× | 3 | valid-rival+sollya-real |
| 9.0ms | 3× | 3 | valid-rival+sollya-zero |
| 6.0ms | 3× | 2 | valid-rival+baseline-zero |
| 5.0ms | 8× | 2 | valid-rival+sollya-real |
| 5.0ms | 4× | 1 | valid-rival+baseline-real |
| 3.0ms | 13× | 1 | valid-rival-only-zero |
| 2.0ms | 16× | 0 | valid-rival-only-zero |
| 2.0ms | 3× | 2 | valid-rival+baseline-real |
| 2.0ms | 1× | 4 | valid-rival+sollya-zero |
| 1.0ms | 1× | 3 | valid-rival+sollya-inf |
| 1.0ms | 1× | 5 | valid-rival-only-real |
| 1.0ms | 1× | 5 | valid-rival-only-zero |
| 1.0ms | 8× | 0 | valid-rival+sollya-real |
| 1.0ms | 1× | 1 | valid-rival+sollya-zero |
| 0.0ms | 4× | 0 | valid-rival+baseline-real |
| 0.0ms | 1× | 1 | valid-rival+baseline-inf |
| 0.0ms | 1× | 0 | valid-rival+sollya-inf |
ival-pow: 44.5s (34.9% of total)ival-sin: 15.2s (11.9% of total)ival-cos: 13.9s (10.9% of total)ival-mult: 12.1s (9.5% of total)ival-div: 8.5s (6.7% of total)ival-pow2: 6.2s (4.8% of total)adjust: 4.9s (3.8% of total)ival-add: 4.3s (3.3% of total)ival-log: 4.0s (3.1% of total)ival-exp: 3.7s (2.9% of total)ival-sub: 3.7s (2.9% of total)ival-sqrt: 2.6s (2% of total)ival-neg: 1.6s (1.2% of total)ival-tan: 480.0ms (0.4% of total)ival-pi: 447.0ms (0.4% of total)ival-true: 419.0ms (0.3% of total)ival-acos: 314.0ms (0.2% of total)ival-atan: 269.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 233.0ms (0.2% of total)ival-assert: 172.0ms (0.1% of total)ival-fabs: 107.0ms (0.1% of total)ival-pow: 7.1min (78.9% of total)ival-mult: 22.5s (4.1% of total)ival-exp: 17.8s (3.3% of total)ival-log: 15.8s (2.9% of total)ival-div: 15.8s (2.9% of total)ival-sin: 10.0s (1.8% of total)ival-cos: 8.0s (1.5% of total)ival-add: 6.9s (1.3% of total)ival-sub: 6.5s (1.2% of total)ival-sqrt: 4.3s (0.8% of total)ival-neg: 2.7s (0.5% of total)const: 1.3s (0.2% of total)ival-acos: 994.0ms (0.2% of total)ival-pi: 876.0ms (0.2% of total)ival-atan: 848.0ms (0.2% of total)ival-tan: 451.0ms (0.1% of total)ival-fabs: 115.0ms (0% of total)| 47× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 76.8% | 23.2% | 0% | 0% | 0% | 0 |
| 17.3% | 13.3% | 63.5% | 23.2% | 0% | 0% | 0% | 1 |
| 26.8% | 20.3% | 55.4% | 23.2% | 0% | 1.1% | 0% | 2 |
| 37.3% | 27.2% | 45.8% | 23.2% | 0% | 3.7% | 0% | 3 |
| 45.9% | 33.1% | 39.1% | 23.2% | 0% | 4.5% | 0% | 4 |
| 51.7% | 37.1% | 34.6% | 23.2% | 0% | 5% | 0% | 5 |
| 54.7% | 39.1% | 32.4% | 23.2% | 0% | 5.3% | 0% | 6 |
| 58.1% | 41.1% | 29.6% | 23.2% | 0% | 6.1% | 0% | 7 |
| 60.1% | 42.3% | 28% | 23.2% | 0% | 6.4% | 0% | 8 |
| 62.3% | 43.5% | 26.3% | 23.2% | 0% | 6.9% | 0% | 9 |
| 63.8% | 44.3% | 25.2% | 23.2% | 0% | 7.3% | 0% | 10 |
| 65.9% | 45.6% | 23.6% | 23.2% | 0% | 7.6% | 0% | 11 |
| 67.4% | 46.4% | 22.5% | 23.2% | 0% | 7.9% | 0% | 12 |
Compiled 3 369 to 1 732 computations (48.6% saved)
| 46× | egg-herbie |
| 27 946× | fma-define |
| 16 310× | fmm-def |
| 12 483× | div-sub |
| 9 447× | distribute-lft-in |
| 9 332× | sub-neg |
| 27× | node limit |
| 19× | saturated |
Compiled 20 207 to 8 233 computations (59.3% saved)
| 46× | egg-herbie |
| 932× | unsub-neg |
| 717× | neg-mul-1 |
| 663× | distribute-lft-neg-in |
| 452× | neg-sub0 |
| 430× | *-commutative |
| 46× | saturated |
Compiled 2 846 to 1 322 computations (53.5% saved)
| 46× | fuel |
Compiled 1 403 to 650 computations (53.7% saved)
Compiled 119 to 119 computations (0% saved)
Loading profile data...