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

sample17.8min (96%)

Results
1.4min190907×0valid-rival
30.9s190907×0valid-sollya
6.2s20405×1valid-sollya
22.4s20405×1valid-rival
8.2s5317×2valid-rival
2.6s5317×2valid-sollya
8.3s4683×3valid-rival
2.6s4683×3valid-sollya
Bogosity

analyze31.1s (2.8%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
23.4%22.6%74.1%1.8%0%1.6%0%2
29.4%27.3%65.5%1.8%0%5.5%0%3
33.7%30.6%60.2%1.8%0%7%0.4%4
36.3%32.7%57.5%1.8%0%7.4%0.6%5
40.6%36.6%53.5%1.8%0%7.4%0.7%6
45.8%40.9%48.4%1.8%0%8.1%0.8%7
48.2%42.4%45.5%1.8%0%9.5%0.8%8
51.2%44.8%42.8%1.8%0%9.8%0.9%9
52.3%45.7%41.6%1.8%0%10%0.9%10
54%46.8%39.9%1.8%0%10.6%1%11
55.7%48%38.1%1.8%0%11.1%1%12
Compiler

Compiled 853 to 541 computations (36.6% saved)

preprocess13.1s (1.2%)

Algorithm
28×egg-herbie
Rules
17529×fma-define
11328×fma-neg
7504×unsub-neg
7050×times-frac
6356×distribute-lft-in
Stop Event
9×saturated
19×node limit
Compiler

Compiled 8065 to 5333 computations (33.9% saved)

simplify433.0ms (0%)

Algorithm
28×egg-herbie
Rules
566×unsub-neg
388×neg-mul-1
258×distribute-lft-neg-in
190×+-commutative
188×*-commutative
Stop Event
28×saturated

soundness91.0ms (0%)

Stop Event
28×fuel
Compiler

Compiled 649 to 431 computations (33.6% saved)

prune77.0ms (0%)

Compiler

Compiled 1322 to 866 computations (34.5% saved)

eval25.0ms (0%)

Compiler

Compiled 82 to 82 computations (0% saved)

end0.0ms (0%)

Profiling

Loading profile data...