Herbie run

Date:Friday, January 19th, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024019
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: 6.7min)

sample1.5min (22.6%)

Results
50.1s270253×body256valid
16.9s13787×body2048valid
9.5s19292×body1024valid
6.8s31271×body256infinite
3.2s10991×body512valid
1.9s202×body8192exit
569.0ms2674×body256invalid
494.0ms763×body4096valid
221.0ms962×body256unsamplable
123.0ms175×body1024infinite
80.0ms198×body512infinite
24.0ms22×body2048infinite
Bogosity

localize1.1min (16%)

Compiler

Compiled 30407 to 18106 computations (40.5% saved)

soundness57.2s (14.2%)

Rules
156164×fma-def
82016×associate-*r*
79840×times-frac
70742×distribute-rgt-in
70290×distribute-lft-in
Stop Event
4×saturated
234×node limit
Compiler

Compiled 22786 to 13528 computations (40.6% saved)

eval54.6s (13.6%)

Compiler

Compiled 2497237 to 1665134 computations (33.3% saved)

simplify32.2s (8%)

Algorithm
161×egg-herbie
Rules
98302×fma-def
54724×associate-*r*
53676×distribute-lft-in
52406×distribute-rgt-in
50228×times-frac
Stop Event
16×done
42×saturated
26×fuel
119×node limit
Counts
51484 → 45435
Compiler

Compiled 8314 to 5380 computations (35.3% saved)

rewrite24.1s (6%)

Algorithm
119×batch-egg-rewrite
Rules
60906×log1p-expm1-u
52665×expm1-log1p-u
40820×log-prod
33730×expm1-udef
31354×unpow-prod-down
Stop Event
119×node limit
Counts
928 → 33221

prune21.1s (5.3%)

Counts
74108 → 1895
Compiler

Compiled 114409 to 79389 computations (30.6% saved)

preprocess17.8s (4.4%)

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 27794 to 17128 computations (38.4% saved)

regimes16.3s (4.1%)

Counts
3787 → 510
Calls

94 calls:

2.0s
c
1.6s
x
1.5s
b
1.1s
x1
970.0ms
a
Compiler

Compiled 67690 to 42034 computations (37.9% saved)

bsearch10.6s (2.7%)

Algorithm
244×binary-search
25×left-value
Stop Event
233×narrow-enough
11×predicate-same
Results
5.5s20722×body256valid
2.3s6020×body256infinite
936.0ms1803×body1024valid
450.0ms637×body2048valid
337.0ms1085×body512valid
327.0ms1934×body256invalid
75.0ms128×body1024infinite
38.0ms109×body512infinite
5.0ms8×body4096valid
2.0ms16×body256unsamplable
Compiler

Compiled 75922 to 53735 computations (29.2% saved)

analyze9.0s (2.2%)

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.8s (1%)

Counts
928 → 18263
Calls

5088 calls:

TimeVariablePointExpression
121.0ms
t1
@inf
(pow.f64 (/.f64 1 (cbrt.f64 (/.f64 (+.f64 u t1) v))) 3)
100.0ms
t
@inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 4) 3/2)
79.0ms
i
@-inf
(*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) i) n)
72.0ms
y
@inf
(/.f64 (+.f64 x y) (fma.f64 x x (*.f64 y y)))
72.0ms
x
@-inf
(pow.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) 3)

end15.0ms (0%)

Profiling

Loading profile data...