Herbie run

Date:Monday, June 3rd, 2024
Commit:a3337ef0 on artem-popl-s-eval
Hostname:nightly with Racket 8.11.1
Seed:2024155
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: 6.9min)

sample6.5min (93.6%)

Results
1.1min269176×0valid-rival
26.5s269176×0valid-sollya
10.9s54127×1valid-sollya
33.8s54127×1valid-rival
13.9s15958×2valid-rival
6.2s15958×2valid-sollya
81.0ms84×3valid-rival
12.0ms84×3valid-sollya
Bogosity

preprocess14.2s (3.4%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 7143 to 3998 computations (44% saved)

analyze11.6s (2.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.1%37.7%15.3%45.5%0%1.5%0%5
72.8%38.4%14.4%45.5%0%1.7%0%6
77.6%40.7%11.7%45.5%0%2%0%7
81.2%42.6%9.8%45.5%0%2.1%0%8
83.8%43.8%8.5%45.5%0%2.2%0%9
85.8%44.6%7.4%45.5%0%2.5%0%10
87.8%45.6%6.3%45.5%0%2.5%0.1%11
88.7%45.9%5.9%45.5%0%2.6%0.1%12
Compiler

Compiled 1171 to 514 computations (56.1% saved)

simplify330.0ms (0.1%)

Algorithm
42×egg-herbie
Rules
376×unsub-neg
321×neg-mul-1
240×+-commutative
216×*-commutative
184×sub-neg
Stop Event
42×saturated

prune126.0ms (0%)

Compiler

Compiled 1666 to 880 computations (47.2% saved)

soundness49.0ms (0%)

Stop Event
42×fuel
Compiler

Compiled 767 to 403 computations (47.5% saved)

eval26.0ms (0%)

Compiler

Compiled 80 to 80 computations (0% saved)

end1.0ms (0%)

Profiling

Loading profile data...