Herbie run

Date:Thursday, February 1st, 2024
Commit:93f5a71d on minor-egg-herbie-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024032
Parameters:256 points for 4 iterations
Flags:
reduce: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: 7.4min)

sample1.4min (19.5%)

Results
46.9s270220×256valid
6.2s31060×256infinite
9.8s19375×1024valid
17.1s13722×2048valid
3.3s11258×512valid
468.0ms2590×256invalid
159.0ms990×256unsamplable
584.0ms751×4096valid
1.7s202×8192exit
73.0ms192×512infinite
181.0ms153×1024infinite
26.0ms21×2048infinite
Bogosity

eval1.3min (18%)

Compiler

Compiled 2955232 to 1977020 computations (33.1% saved)

localize1.2min (15.6%)

Compiler

Compiled 32231 to 19138 computations (40.6% saved)

soundness1.0min (13.9%)

Rules
175562×fma-def
91202×associate-*r*
81270×times-frac
81086×distribute-lft-in
80490×distribute-rgt-in
Stop Event
4×saturated
256×node limit
Compiler

Compiled 23135 to 13738 computations (40.6% saved)

simplify33.7s (7.6%)

Algorithm
164×egg-herbie
Rules
93722×fma-def
59232×associate-*r*
53794×distribute-lft-in
51422×log-prod
50418×distribute-rgt-in
Stop Event
42×saturated
122×node limit
23×fuel
19×done
Counts
54602 → 47274
Compiler

Compiled 8369 to 5533 computations (33.9% saved)

preprocess26.3s (5.9%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 31347 to 19591 computations (37.5% saved)

rewrite25.6s (5.8%)

Algorithm
122×batch-egg-rewrite
Rules
60639×log1p-expm1-u
53297×expm1-log1p-u
44378×prod-diff
42782×log-prod
37952×expm1-udef
Stop Event
122×node limit
Counts
969 → 35954

prune21.2s (4.8%)

Counts
81425 → 1941
Compiler

Compiled 76705 to 52347 computations (31.8% saved)

regimes17.3s (3.9%)

Counts
3980 → 554
Calls

94 calls:

2.0s
c
1.7s
b
1.6s
x
1.5s
a
1.4s
x1
Compiler

Compiled 4376 to 3077 computations (29.7% saved)

bsearch9.8s (2.2%)

Algorithm
269×binary-search
22×left-value
Stop Event
20×predicate-same
249×narrow-enough
Results
4.8s23166×256valid
2.8s7191×256infinite
168.0ms1694×256invalid
776.0ms1371×1024valid
243.0ms753×512valid
70.0ms112×2048valid
33.0ms96×512infinite
57.0ms95×1024infinite
Compiler

Compiled 78396 to 55949 computations (28.6% saved)

analyze8.1s (1.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.7s (0.8%)

Counts
969 → 18648
Calls

5145 calls:

TimeVariablePointExpression
80.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3/2))
77.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
71.0ms
x2
@0
(+.f64 (*.f64 2 (*.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) -3))) (*.f64 x1 (fma.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) 4 -6)))
48.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
46.0ms
t
@inf
(*.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3/4))

end16.0ms (0%)

Profiling

Loading profile data...