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.0min)

sample5.8min (96.7%)

Results
19.8s105242×0valid-rival
8.5s105242×0valid-sollya
15.4s48341×1valid-sollya
25.1s48341×1valid-rival
8.4s7262×2valid-rival
5.2s7262×2valid-sollya
Bogosity

preprocess6.0s (1.7%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 2315 to 1480 computations (36.1% saved)

analyze5.7s (1.6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 205 to 140 computations (31.7% saved)

simplify95.0ms (0%)

Algorithm
20×egg-herbie
Rules
25×+-commutative
22×*-commutative
18×sub-neg
10×neg-sub0
10×neg-mul-1
Stop Event
20×saturated

prune44.0ms (0%)

Compiler

Compiled 370 to 240 computations (35.1% saved)

soundness16.0ms (0%)

Stop Event
20×fuel
Compiler

Compiled 185 to 120 computations (35.1% saved)

eval7.0ms (0%)

Compiler

Compiled 36 to 36 computations (0% saved)

end0.0ms (0%)

Profiling

Loading profile data...