Herbie run

Date:Wednesday, July 3rd, 2024
Commit:7911fcf2 on artem-popl-eval
Hostname:nightly with Racket 8.11.1
Seed:2024185
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: 3.8min)

sample3.6min (94.4%)

Memory
66.9MiB live, 55 448.2MiB allocated
Samples
21.9s208 420×0valid-baseline
21.7s208 420×0valid-sollya
21.3s208 420×0valid-rival
10.0s25 407×1valid-baseline
7.5s25 407×1valid-rival
5.7s25 407×1valid-sollya
5.5s6 284×3valid-baseline
4.6s6 677×2valid-baseline
3.3s6 284×3valid-sollya
2.6s6 677×2valid-sollya
1.8s6 677×2valid-rival
1.7s6 284×3valid-rival
794.0ms8 658×0valid-rival+baseline-inf
123.0ms150×2valid-rival+baseline-real
68.0ms250×1valid-rival+baseline-inf
18.0ms6×4valid-baseline
10.0ms6×4valid-sollya
4.0ms12×3valid-rival+sollya-inf
4.0ms36×0valid-rival+baseline-zero
3.0ms22×0valid-rival+baseline-real
2.0ms8×3valid-rival+baseline-inf
2.0ms6×4valid-rival
1.0ms3×3valid-rival-only-inf
0.0ms1×2valid-rival+sollya-inf
0.0ms1×5valid-sollya-only-real
0.0ms1×0valid-sollya+baseline-real
0.0ms1×0valid-rival+sollya-real
Bogosity

analyze6.8s (3%)

Memory
41.2MiB live, 2 627.4MiB allocated
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.4%0%4
36.3%32.7%57.5%1.8%0%8%0%5
40.6%36.6%53.5%1.8%0%8.1%0%6
45.8%40.9%48.4%1.8%0%8.9%0%7
48.2%42.4%45.5%1.8%0%10.3%0%8
51.2%44.8%42.8%1.8%0%10.6%0%9
52.3%45.7%41.6%1.8%0%11%0%10
54%46.8%39.9%1.8%0%11.5%0%11
55.7%48%38.1%1.8%0%12.2%0%12
Compiler

Compiled 1 638 to 1 114 computations (32% saved)

preprocess5.6s (2.5%)

Memory
123.7MiB live, 1 651.8MiB allocated
Algorithm
31×egg-herbie
Rules
20 011×fma-define
13 375×fmm-def
8 518×times-frac
7 215×distribute-lft-in
7 141×unsub-neg
Stop Event
23×node limit
8×saturated
Compiler

Compiled 10 318 to 6 490 computations (37.1% saved)

simplify171.0ms (0.1%)

Memory
-37.5MiB live, 27.6MiB allocated
Algorithm
31×egg-herbie
Rules
587×unsub-neg
430×neg-mul-1
278×distribute-lft-neg-in
227×*-commutative
217×+-commutative
Stop Event
31×saturated

prune29.0ms (0%)

Memory
-17.8MiB live, 29.6MiB allocated
Compiler

Compiled 1 616 to 1 000 computations (38.1% saved)

soundness11.0ms (0%)

Memory
-3.4MiB live, 12.4MiB allocated
Stop Event
31×fuel
Compiler

Compiled 789 to 499 computations (36.8% saved)

eval4.0ms (0%)

Memory
-24.3MiB live, 7.3MiB allocated
Compiler

Compiled 99 to 99 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...