Herbie run

Date:Thursday, June 20th, 2024
Commit:2b8041cd on artem-popl-eval
Hostname:nightly with Racket 8.11.1
Seed:2024172
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: 2.9min)

sample2.7min (93.8%)

Memory
-63.8MiB live, 41 485.8MiB allocated
Samples
18.7s185 988×0valid-sollya
18.6s185 988×0valid-baseline
17.7s185 988×0valid-rival
8.1s22 393×1valid-baseline
5.7s22 393×1valid-rival
4.7s22 393×1valid-sollya
2.9s3 323×2valid-baseline
2.2s1 010×3valid-baseline
1.8s3 323×2valid-sollya
1.5s1 010×3valid-sollya
946.0ms3 323×2valid-rival
819.0ms8 439×0valid-baseline+rival
800.0ms8 439×0valid-rival+baseline
795.0ms8 395×0valid-rival+baseline-inf
283.0ms1 010×3valid-rival
251.0ms15×3valid-baseline+rival
162.0ms1 495×0valid-rival-only
115.0ms240×1valid-baseline+rival
58.0ms240×1valid-rival+baseline-inf
58.0ms240×1valid-rival+baseline
21.0ms7×3valid-sollya+rival
4.0ms15×3valid-rival+baseline
4.0ms14×3valid-rival+baseline-inf
3.0ms31×0valid-rival+baseline-zero
2.0ms7×3valid-rival+sollya
1.0ms1×2valid-rival+sollya
1.0ms1×2valid-sollya+rival
0.0ms1×5valid-sollya-only
Bogosity

analyze5.9s (3.4%)

Memory
-24.0MiB live, 2 515.4MiB allocated
Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.4%28.2%64.4%1.8%0%5.6%0%3
34.9%31.6%59%1.8%0%7.7%0%4
37.5%33.8%56.3%1.8%0%8.1%0%5
42%37.8%52.3%1.8%0%8.1%0%6
46.8%42.1%47.8%1.8%0%8.2%0%7
49.4%43.7%44.7%1.8%0%9.8%0%8
52.5%46.2%41.7%1.8%0%10.3%0%9
53.7%47%40.5%1.8%0%10.6%0%10
55.5%48.2%38.7%1.8%0%11.2%0%11
57.1%49.4%37.1%1.8%0%11.7%0%12
Compiler

Compiled 1 638 to 1 110 computations (32.2% saved)

preprocess4.8s (2.7%)

Memory
12.4MiB live, 1 416.8MiB allocated
Algorithm
27×egg-herbie
Rules
17 515×fma-define
11 294×fmm-def
7 046×times-frac
6 765×unsub-neg
6 332×distribute-lft-in
Stop Event
19×node limit
8×saturated
Compiler

Compiled 7 948 to 5 252 computations (33.9% saved)

simplify151.0ms (0.1%)

Memory
22.9MiB live, 22.9MiB allocated
Algorithm
27×egg-herbie
Rules
566×unsub-neg
387×neg-mul-1
258×distribute-lft-neg-in
187×+-commutative
186×*-commutative
Stop Event
27×saturated

prune25.0ms (0%)

Memory
10.0MiB live, 25.8MiB allocated
Compiler

Compiled 1 296 to 848 computations (34.6% saved)

soundness10.0ms (0%)

Memory
-5.3MiB live, 10.5MiB allocated
Stop Event
27×fuel
Compiler

Compiled 636 to 422 computations (33.6% saved)

eval3.0ms (0%)

Memory
-9.5MiB live, 6.2MiB allocated
Compiler

Compiled 81 to 81 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...