Herbie run

Date:Sunday, June 2nd, 2024
Commit:4e5e90a0 on artem-popl-s-eval
Hostname:nightly with Racket 8.11.1
Seed:2024154
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: 26.7s)

sample24.3s (90.9%)

Results
5.3s45421×0valid-rival
2.9s41257×0valid-sollya
559.0ms4165×0invalid-sollya
2.0s4107×2valid-rival
167.0ms4105×2valid-sollya
3.0ms32×0invalid-rival
155.0ms31×0exit-sollya
2.0ms8×1valid-rival
0.0ms8×1valid-sollya
10.0ms2×2exit-sollya
Bogosity

preprocess1.4s (5.3%)

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)

analyze973.0ms (3.6%)

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)

simplify32.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

prune9.0ms (0%)

Compiler

Compiled 120 to 84 computations (30% saved)

soundness3.0ms (0%)

Stop Event
6×fuel
Compiler

Compiled 59 to 42 computations (28.8% saved)

eval1.0ms (0%)

Compiler

Compiled 9 to 9 computations (0% saved)

end0.0ms (0%)

Profiling

Loading profile data...