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

sample4.0min (98.4%)

Memory
18.4MiB live, 41 032.7MiB allocated
Samples
12.0s48 454×1valid-baseline
10.4s48 454×1valid-sollya
6.6s933×0valid-sollya-only-zero
5.7s48 454×1valid-rival
5.5s104 686×0valid-sollya
5.0s104 686×0valid-baseline
4.6s104 686×0valid-rival
3.4s7 358×2valid-sollya
3.3s7 358×2valid-baseline
2.0s7 358×2valid-rival
422.0ms1 585×5valid-sollya-only-zero
172.0ms1 622×0valid-rival+baseline-zero
102.0ms2 005×0valid-rival+baseline-inf
83.0ms977×0valid-rival+sollya-real
2.0ms18×0valid-rival-only-real
Bogosity

preprocess2.4s (1%)

Memory
-13.1MiB live, 971.9MiB allocated
Algorithm
20×egg-herbie
Rules
5 179×fmm-def
5 054×fma-define
1 627×distribute-rgt-in
1 585×distribute-lft-in
1 517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 2 315 to 1 480 computations (36.1% saved)

analyze1.5s (0.6%)

Memory
39.0MiB live, 599.1MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 394 to 300 computations (23.9% saved)

simplify34.0ms (0%)

Memory
-24.9MiB live, 6.9MiB allocated
Algorithm
20×egg-herbie
Rules
25×+-commutative
22×*-commutative
18×sub-neg
10×neg-sub0
10×neg-mul-1
Stop Event
20×saturated

prune15.0ms (0%)

Memory
17.4MiB live, 17.4MiB allocated
Compiler

Compiled 370 to 240 computations (35.1% saved)

soundness6.0ms (0%)

Memory
7.0MiB live, 7.0MiB allocated
Stop Event
20×fuel
Compiler

Compiled 185 to 120 computations (35.1% saved)

eval2.0ms (0%)

Memory
4.8MiB live, 4.8MiB allocated
Compiler

Compiled 36 to 36 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...