Herbie run

Date:Monday, August 28th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023240
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: 5.2min)

sample1.2min (23.8%)

Results
38.7s269473×body256valid
16.6s14416×body2048valid
8.5s19588×body1024valid
4.8s30943×body256infinite
2.7s11113×body512valid
1.8s202×body8192exit
403.0ms805×body4096valid
309.0ms2652×body256invalid
143.0ms189×body1024infinite
132.0ms955×body256unsamplable
83.0ms202×body512infinite
25.0ms23×body2048infinite
Bogosity

localize51.2s (16.3%)

Compiler

Compiled 31609 to 17434 computations (44.8% saved)

soundness50.1s (15.9%)

Rules
231872×fma-def
122248×associate-*r*
101946×distribute-lft-in
99898×times-frac
95632×associate-*l*
Stop Event
6×saturated
289×node limit
Compiler

Compiled 27557 to 16385 computations (40.5% saved)

eval39.9s (12.7%)

Compiler

Compiled 1957684 to 1189300 computations (39.2% saved)

simplify23.5s (7.5%)

Algorithm
205×egg-herbie
Rules
158688×fma-def
76408×associate-*r*
69550×distribute-lft-in
65660×times-frac
64888×distribute-rgt-in
Stop Event
15×done
58×saturated
27×fuel
147×node limit
Counts
47896 → 42766
Compiler

Compiled 9487 to 6129 computations (35.4% saved)

regimes18.0s (5.7%)

Counts
4432 → 602
Calls

94 calls:

1.8s
b
1.7s
c
1.5s
x1
1.4s
x
1.4s
a
Compiler

Compiled 78856 to 46623 computations (40.9% saved)

prune16.3s (5.2%)

Counts
65106 → 2182
Compiler

Compiled 128213 to 86258 computations (32.7% saved)

rewrite13.0s (4.1%)

Algorithm
121×batch-egg-rewrite
Rules
83922×pow1
79538×add-exp-log
79488×log1p-expm1-u
79470×expm1-log1p-u
74402×add-log-exp
Stop Event
121×node limit
Counts
945 → 28772

preprocess9.5s (3%)

Algorithm
42×egg-herbie
Rules
53946×fma-def
22276×fma-neg
17644×unsub-neg
17506×distribute-lft-in
17362×sub-neg
Stop Event
12×saturated
30×node limit
Compiler

Compiled 22747 to 13493 computations (40.7% saved)

bsearch9.2s (2.9%)

Algorithm
296×binary-search
28×left-value
Stop Event
282×narrow-enough
14×predicate-same
Results
4.4s26331×body256valid
3.1s8657×body256infinite
468.0ms900×body1024valid
227.0ms927×body512valid
197.0ms251×body2048valid
98.0ms971×body256invalid
10.0ms29×body512infinite
5.0ms9×body1024infinite
3.0ms27×body256unsamplable
Compiler

Compiled 83447 to 58256 computations (30.2% saved)

analyze6.0s (1.9%)

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.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.8s (0.9%)

Counts
945 → 19082
Calls

5079 calls:

TimeVariablePointExpression
63.0ms
i
@inf
(+.f64 1 (/.f64 i n))
60.0ms
i
@0
(pow.f64 (+.f64 1 (/.f64 i n)) n)
59.0ms
t
@-inf
(pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)
54.0ms
x
@inf
(/.f64 1 (-.f64 1 (*.f64 x x)))
53.0ms
i
@0
(-.f64 (pow.f64 (/.f64 i n) n) 1)

end9.0ms (0%)

Profiling

Loading profile data...