Herbie run

Date:Friday, June 28th, 2024
Commit:db6536e9 on artem-popl-eval
Hostname:nightly with Racket 8.11.1
Seed:2024180
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.1min)

sample27.7min (98.7%)

Memory
119.2MiB live, 261 143.4MiB allocated
Samples
48.5s103 836×1valid-baseline
36.0s103 836×1valid-rival
35.2s8 133×3valid-sollya
31.5s103 836×1valid-sollya
28.3s244 719×0valid-sollya
23.0s8 133×3valid-baseline
21.4s244 719×0valid-baseline
20.2s244 719×0valid-rival
20.0s19 073×2valid-baseline
17.7s19 073×2valid-sollya
15.3s8 133×3valid-rival
11.1s19 073×2valid-rival
10.4s1 019×4valid-sollya
5.0s1 019×4valid-baseline
4.0s1 019×4valid-rival
188.0ms4 046×0valid-rival+baseline-inf
152.0ms642×1valid-rival-only-real
93.0ms815×0valid-rival-only-real
47.0ms5×4valid-rival+baseline-zero
36.0ms3×4valid-rival+baseline-real
30.0ms174×0valid-rival+baseline-zero
26.0ms42×1valid-rival+baseline-zero
24.0ms2×4valid-rival-only-zero
19.0ms357×0valid-rival-only-inf
19.0ms3×3valid-rival+baseline-zero
7.0ms4×2valid-rival+baseline-zero
4.0ms16×1valid-rival-only-zero
2.0ms18×0valid-rival-only-zero
1.0ms1×5valid-rival-only-real
1.0ms1×4valid-rival+sollya-real
1.0ms1×5valid-rival-only-zero
0.0ms1×1valid-rival+baseline-inf
0.0ms1×2valid-rival-only-zero
Bogosity

analyze13.2s (0.8%)

Memory
-0.8MiB live, 4 346.2MiB 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 735 computations (48.5% saved)

preprocess7.6s (0.4%)

Memory
-41.4MiB live, 2 562.6MiB 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)

simplify367.0ms (0%)

Memory
23.9MiB 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

prune43.0ms (0%)

Memory
12.2MiB live, 43.9MiB allocated
Compiler

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

soundness16.0ms (0%)

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

Compiled 1 403 to 650 computations (53.7% saved)

eval6.0ms (0%)

Memory
-5.4MiB live, 10.5MiB allocated
Compiler

Compiled 119 to 119 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...