Herbie run

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)

sample28.1min (99%)

Memory
143.4MiB live, 275 642.7MiB allocated
Samples
53.8s104 150×1valid-baseline
35.7s8 261×3valid-sollya
33.7s104 150×1valid-rival
31.5s104 150×1valid-sollya
28.6s244 089×0valid-sollya
25.5s8 261×3valid-baseline
24.6s244 089×0valid-baseline
22.2s19 229×2valid-baseline
21.1s244 089×0valid-rival
17.7s19 229×2valid-sollya
13.6s8 261×3valid-rival
10.8s1 062×4valid-sollya
10.1s19 229×2valid-rival
5.5s1 062×4valid-baseline
3.8s1 062×4valid-rival
208.0ms4 022×0valid-rival+baseline-inf
140.0ms630×1valid-rival-only-real
92.0ms4valid-rival+baseline-zero
91.0ms814×0valid-rival-only-real
56.0ms4valid-rival+baseline-real
51.0ms3valid-rival+baseline-zero
26.0ms156×0valid-rival+baseline-zero
24.0ms44×1valid-rival+baseline-zero
19.0ms315×0valid-rival-only-inf
18.0ms3valid-rival+baseline-real
18.0ms4valid-rival-only-zero
11.0ms11×1valid-rival+sollya-real
10.0ms3valid-rival+sollya-real
9.0ms3valid-rival+sollya-zero
6.0ms2valid-rival+baseline-zero
5.0ms2valid-rival+sollya-real
5.0ms1valid-rival+baseline-real
3.0ms13×1valid-rival-only-zero
2.0ms16×0valid-rival-only-zero
2.0ms2valid-rival+baseline-real
2.0ms4valid-rival+sollya-zero
1.0ms3valid-rival+sollya-inf
1.0ms5valid-rival-only-real
1.0ms5valid-rival-only-zero
1.0ms0valid-rival+sollya-real
1.0ms1valid-rival+sollya-zero
0.0ms0valid-rival+baseline-real
0.0ms1valid-rival+baseline-inf
0.0ms0valid-rival+sollya-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 2.1min
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)
Precisions
Click to see Base histograms. Total time spent on operations: 9.1min
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)
Bogosity

analyze9.6s (0.6%)

Memory
-50.2MiB live, 3 832.9MiB allocated
Algorithm
47×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 3 369 to 1 732 computations (48.6% saved)

preprocess7.7s (0.4%)

Memory
0.2MiB live, 2 570.0MiB allocated
Algorithm
46×egg-herbie
Rules
27 946×fma-define
16 310×fmm-def
12 483×div-sub
9 447×distribute-lft-in
9 332×sub-neg
Stop Event
27×node limit
19×saturated
Compiler

Compiled 20 207 to 8 233 computations (59.3% saved)

simplify371.0ms (0%)

Memory
-7.2MiB live, 71.2MiB allocated
Algorithm
46×egg-herbie
Rules
932×unsub-neg
717×neg-mul-1
663×distribute-lft-neg-in
452×neg-sub0
430×*-commutative
Stop Event
46×saturated

prune46.0ms (0%)

Memory
11.3MiB live, 44.1MiB allocated
Compiler

Compiled 2 846 to 1 322 computations (53.5% saved)

soundness16.0ms (0%)

Memory
18.4MiB live, 18.4MiB allocated
Stop Event
46×fuel
Compiler

Compiled 1 403 to 650 computations (53.7% saved)

eval14.0ms (0%)

Memory
-7.7MiB live, 10.7MiB allocated
Compiler

Compiled 119 to 119 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...