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

sample10.5min (97.6%)

Results
23.0s116778×1valid-sollya
1.2min116778×1valid-rival
14.5s51540×0valid-rival
4.8s51540×0valid-sollya
58.5s45815×2valid-rival
21.8s45815×2valid-sollya
3.6s2273×3valid-rival
1.4s2273×3valid-sollya
Bogosity

preprocess9.0s (1.4%)

Algorithm
27×egg-herbie
Rules
8242×fma-neg
6579×fma-define
4279×div-sub
2637×sub-neg
2621×times-frac
Stop Event
22×saturated
5×node limit
Compiler

Compiled 3243 to 1855 computations (42.8% saved)

analyze6.0s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
28.5%17.4%43.7%38.9%0%0%0%1
36.5%22.3%38.8%38.9%0%0%0%2
47.4%29%32.1%38.9%0%0%0%3
55.2%33.8%27.3%38.9%0%0%0%4
61.6%37.7%23.4%38.9%0%0%0%5
63%38.5%22.6%38.9%0%0%0%6
65.5%39.5%20.8%38.9%0%0.8%0.1%7
68%40.9%19.3%38.9%0%0.8%0.1%8
69.5%41.5%18.2%38.9%0%1.2%0.3%9
71.1%42%17.1%38.9%0%1.7%0.3%10
73%42.9%15.9%38.9%0%1.9%0.4%11
73.9%43.2%15.2%38.9%0%2.2%0.4%12
Compiler

Compiled 353 to 245 computations (30.6% saved)

simplify239.0ms (0%)

Algorithm
27×egg-herbie
Rules
122×+-commutative
100×sub-neg
96×neg-mul-1
86×*-commutative
65×neg-sub0
Stop Event
27×saturated

prune232.0ms (0%)

Compiler

Compiled 634 to 422 computations (33.4% saved)

soundness35.0ms (0%)

Stop Event
27×fuel
Compiler

Compiled 315 to 214 computations (32.1% saved)

eval7.0ms (0%)

Compiler

Compiled 42 to 42 computations (0% saved)

end1.0ms (0%)

Profiling

Loading profile data...