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

sample42.7min (99.1%)

Results
1.2min379130×0valid-rival
48.6s379130×0valid-sollya
8.6s24968×1valid-sollya
16.7s24968×1valid-rival
4.6s6656×2valid-rival
2.5s6656×2valid-sollya
476.0ms426×3valid-rival
111.0ms426×3valid-sollya
Bogosity

preprocess14.8s (0.6%)

Algorithm
54×egg-herbie
Rules
19840×fma-neg
19034×fma-define
9442×unsub-neg
8647×distribute-lft-in
8150×distribute-rgt-in
Stop Event
30×saturated
24×node limit
Compiler

Compiled 12065 to 6018 computations (50.1% saved)

analyze7.8s (0.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1496 to 760 computations (49.2% saved)

simplify451.0ms (0%)

Algorithm
54×egg-herbie
Rules
471×unsub-neg
352×neg-mul-1
316×*-commutative
310×distribute-lft-neg-in
285×+-commutative
Stop Event
54×saturated

prune110.0ms (0%)

Compiler

Compiled 2718 to 1320 computations (51.4% saved)

soundness45.0ms (0%)

Stop Event
54×fuel
Compiler

Compiled 1312 to 642 computations (51.1% saved)

eval24.0ms (0%)

Compiler

Compiled 114 to 114 computations (0% saved)

end1.0ms (0%)

Profiling

Loading profile data...