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: 2.6min)

sample2.5min (94.7%)

Memory
74.7MiB live, 38 933.8MiB allocated
Samples
16.5s267 563×0valid-sollya
15.8s267 563×0valid-baseline
14.9s267 563×0valid-rival
13.2s51 038×1valid-baseline
8.1s51 038×1valid-rival
7.9s51 038×1valid-sollya
7.9s13 311×2valid-sollya
5.2s13 311×2valid-baseline
3.5s13 311×2valid-rival
481.0ms6 055×0valid-rival+baseline-inf
172.0ms514×1valid-rival+baseline-inf
2.0ms5×2valid-rival+baseline-inf
1.0ms8×0valid-rival+baseline-real
0.0ms1×0valid-rival+baseline-zero
0.0ms1×0valid-rival+sollya-real
Bogosity

preprocess6.3s (4%)

Memory
-26.2MiB live, 2 093.0MiB allocated
Algorithm
41×egg-herbie
Rules
17 591×fmm-def
15 963×fma-define
8 704×sub-neg
8 209×unsub-neg
7 369×distribute-rgt-in
Stop Event
21×node limit
20×saturated
Compiler

Compiled 6 864 to 3 829 computations (44.2% saved)

analyze1.9s (1.2%)

Memory
-54.2MiB live, 726.0MiB allocated
Algorithm
40×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%56.1%43.9%0%0%0%0
20.1%11.3%44.8%43.9%0%0%0%1
34.6%19.4%36.7%43.9%0%0%0%2
46.4%25.7%29.7%43.9%0%0.6%0%3
55.8%30.6%24.2%43.9%0%1.3%0%4
69.8%38%16.4%43.9%0%1.6%0%5
71.5%38.8%15.5%43.9%0%1.8%0%6
76.6%41.3%12.6%43.9%0%2.2%0%7
80.4%43.3%10.6%43.9%0%2.2%0%8
83.1%44.6%9.1%43.9%0%2.4%0%9
85.2%45.5%7.9%43.9%0%2.7%0%10
87.2%46.5%6.8%43.9%0%2.8%0%11
88.2%46.9%6.3%43.9%0%2.9%0%12
Compiler

Compiled 2 272 to 1 052 computations (53.7% saved)

simplify126.0ms (0.1%)

Memory
11.6MiB live, 27.5MiB allocated
Algorithm
41×egg-herbie
Rules
356×unsub-neg
305×neg-mul-1
230×+-commutative
204×*-commutative
176×sub-neg
Stop Event
41×saturated

prune31.0ms (0%)

Memory
36.5MiB live, 36.5MiB allocated
Compiler

Compiled 1 636 to 862 computations (47.3% saved)

soundness12.0ms (0%)

Memory
-0.6MiB live, 15.2MiB allocated
Stop Event
41×fuel
Compiler

Compiled 752 to 394 computations (47.6% saved)

eval5.0ms (0%)

Memory
-6.6MiB live, 9.3MiB allocated
Compiler

Compiled 77 to 77 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...