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: 36.4s)

sample33.0s (90.8%)

Results
7.4s41280×0valid-rival
3.1s41280×0valid-sollya
3.0s4111×2valid-rival
129.0ms4111×2valid-sollya
0.0ms6×1valid-sollya
2.0ms6×1valid-rival
Bogosity

preprocess1.8s (4.9%)

Algorithm
6×egg-herbie
Rules
1924×fma-neg
1173×fma-define
949×exp-sum
611×associate-+l+
600×associate-+l-
Stop Event
4×saturated
2×node limit
Compiler

Compiled 432 to 304 computations (29.6% saved)

analyze1.5s (4.2%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

simplify29.0ms (0.1%)

Algorithm
6×egg-herbie
Rules
46×neg-mul-1
40×unsub-neg
34×+-commutative
34×sub-neg
28×neg-sub0
Stop Event
6×saturated

prune16.0ms (0%)

Compiler

Compiled 120 to 84 computations (30% saved)

soundness5.0ms (0%)

Stop Event
6×fuel
Compiler

Compiled 59 to 42 computations (28.8% saved)

eval2.0ms (0%)

Compiler

Compiled 9 to 9 computations (0% saved)

end0.0ms (0%)

Profiling

Loading profile data...