Herbie run

Date:Friday, June 28th, 2024
Commit:db6536e9 on artem-popl-eval
Hostname:nightly with Racket 8.11.1
Seed:2024180
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 1.6hr)

sample1.6hr (97.8%)

Memory
969.8MiB live, 1 724 986.1MiB allocated
Samples
4.6min3 604 567×0valid-sollya
4.0min3 604 567×0valid-baseline
3.7min3 604 567×0valid-rival
2.4min447 322×1valid-baseline
1.5min447 322×1valid-rival
1.5min447 322×1valid-sollya
1.1min115 440×2valid-baseline
53.4s115 440×2valid-sollya
41.7s15 614×3valid-sollya
40.8s115 440×2valid-rival
34.4s15 614×3valid-baseline
18.7s15 614×3valid-rival
10.8s1 918×4valid-sollya
8.1s1 034×0valid-sollya-only-zero
7.4s99 015×0valid-rival+baseline-inf
5.8s1 918×4valid-baseline
4.5s1 918×4valid-rival
633.0ms2 360×1valid-rival+baseline-inf
631.0ms1 414×1valid-rival-only-real
422.0ms1 585×5valid-sollya-only-zero
399.0ms3 435×0valid-rival+baseline-zero
388.0ms3 405×0valid-rival-only-real
102.0ms126×2valid-rival+baseline-real
83.0ms979×0valid-rival+sollya-real
47.0ms4valid-rival+baseline-zero
42.0ms3valid-rival+sollya-real
36.0ms4valid-rival+baseline-real
28.0ms52×1valid-rival+baseline-zero
24.0ms4valid-rival-only-zero
21.0ms389×0valid-rival-only-inf
19.0ms3valid-rival+baseline-zero
12.0ms35×1valid-rival-only-zero
9.0ms100×0valid-rival+baseline-real
7.0ms2valid-rival+baseline-zero
3.0ms5valid-baseline
3.0ms2valid-rival+baseline-inf
3.0ms12×1valid-rival+baseline-real
2.0ms3valid-rival+sollya-inf
2.0ms19×0valid-rival-only-zero
2.0ms5valid-sollya
2.0ms5valid-rival
2.0ms3valid-rival+baseline-inf
1.0ms5valid-rival-only-real
1.0ms4valid-rival+sollya-real
1.0ms5valid-rival-only-zero
0.0ms2valid-rival-only-zero
0.0ms3valid-rival-only-real
0.0ms3valid-rival-only-inf
0.0ms1valid-rival+sollya-real
Bogosity

preprocess1.4min (1.4%)

Memory
-120.8MiB live, 27 648.1MiB allocated
Algorithm
520×egg-herbie
Rules
241 208×fmm-def
239 616×fma-define
97 565×unsub-neg
95 322×sub-neg
91 445×distribute-lft-in
Stop Event
286×saturated
234×node limit
Compiler

Compiled 105 452 to 58 056 computations (44.9% saved)

analyze43.8s (0.7%)

Memory
-103.9MiB live, 16 498.4MiB allocated
Algorithm
522×search
random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85.1%14.9%0%0%0%0
41%34.9%50.2%14.9%0%0%0%1
46.8%39.4%44.9%14.9%0%0.8%0%2
55.8%45.9%36.4%14.9%0%2.8%0%3
62.5%50.9%30.5%14.9%0%3.6%0%4
68.7%55.6%25.3%14.9%0%4.1%0%5
72.6%58.5%22.1%14.9%0%4.4%0%6
76.3%61.2%19%14.9%0%4.9%0%7
78.3%62.5%17.3%14.9%0%5.3%0%8
80.8%64.2%15.3%14.9%0%5.6%0%9
82.2%65.1%14.1%14.9%0%5.8%0%10
84.3%66.7%12.4%14.9%0%6%0%11
85.4%67.4%11.5%14.9%0%6.2%0%12
Compiler

Compiled 22 710 to 13 392 computations (41% saved)

simplify2.0s (0%)

Memory
-78.4MiB live, 357.4MiB allocated
Algorithm
520×egg-herbie
Rules
4 977×unsub-neg
4 052×neg-mul-1
2 838×+-commutative
2 832×distribute-lft-neg-in
2 805×*-commutative
Stop Event
520×saturated

prune437.0ms (0%)

Memory
170.2MiB live, 474.2MiB allocated
Compiler

Compiled 18 716 to 10 880 computations (41.9% saved)

soundness163.0ms (0%)

Memory
-47.5MiB live, 194.5MiB allocated
Stop Event
520×fuel
Compiler

Compiled 9 182 to 5 366 computations (41.6% saved)

eval61.0ms (0%)

Memory
8.8MiB live, 119.8MiB allocated
Compiler

Compiled 1 389 to 1 389 computations (0% saved)

end3.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated

Profiling

Loading profile data...