Herbie run

Date:Thursday, September 14th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023257
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.5min)

sample1.3min (22.9%)

Results
39.4s269580×body256valid
16.6s14234×body2048valid
8.4s19867×body1024valid
5.0s30989×body256infinite
2.8s10895×body512valid
1.6s202×body8192exit
485.0ms785×body4096valid
334.0ms2635×body256invalid
169.0ms205×body512infinite
135.0ms1001×body256unsamplable
109.0ms184×body1024infinite
13.0ms13×body2048infinite
Bogosity

localize54.6s (16.5%)

Compiler

Compiled 32243 to 18311 computations (43.2% saved)

soundness48.6s (14.7%)

Rules
204968×fma-def
122042×associate-*r*
101726×times-frac
93172×fma-neg
92784×log-prod
Stop Event
8×saturated
2×unsound
299×node limit
Compiler

Compiled 27409 to 17140 computations (37.5% saved)

eval48.5s (14.6%)

Compiler

Compiled 2227085 to 1373946 computations (38.3% saved)

simplify26.0s (7.9%)

Algorithm
216×egg-herbie
Rules
153562×fma-def
82676×associate-*r*
77942×fma-neg
70060×associate-*l*
68934×times-frac
Stop Event
1×unsound
12×done
58×saturated
30×fuel
157×node limit
Counts
51901 → 45710
Compiler

Compiled 8098 to 5235 computations (35.4% saved)

prune18.9s (5.7%)

Counts
68225 → 2185
Compiler

Compiled 128541 to 86801 computations (32.5% saved)

regimes17.8s (5.4%)

Counts
4381 → 594
Calls

94 calls:

1.8s
x
1.6s
b
1.4s
c
1.4s
x1
1.3s
a
Compiler

Compiled 64827 to 38384 computations (40.8% saved)

rewrite15.3s (4.6%)

Algorithm
132×batch-egg-rewrite
Rules
88670×pow1
84158×add-exp-log
84112×log1p-expm1-u
84088×expm1-log1p-u
82200×add-log-exp
Stop Event
132×node limit
Counts
1004 → 32048

preprocess9.1s (2.7%)

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 19941 to 11649 computations (41.6% saved)

bsearch7.8s (2.4%)

Algorithm
278×binary-search
38×left-value
Stop Event
263×narrow-enough
15×predicate-same
Results
4.2s23537×body256valid
1.7s5788×body256infinite
639.0ms1444×body1024valid
257.0ms332×body2048valid
239.0ms888×body512valid
229.0ms1993×body256invalid
27.0ms161×body256unsamplable
26.0ms49×body1024infinite
13.0ms39×body512infinite
1.0ms1×body2048infinite
1.0ms2×body4096valid
Compiler

Compiled 58381 to 41568 computations (28.8% saved)

analyze6.4s (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.4s (0.7%)

Counts
1004 → 19811
Calls

5103 calls:

TimeVariablePointExpression
65.0ms
x
@inf
(pow.f64 (exp.f64 10) (pow.f64 x 3/2))
46.0ms
t
@-inf
(+.f64 2 (/.f64 -2 (+.f64 t 1)))
41.0ms
x
@0
(pow.f64 (exp.f64 10) (pow.f64 x 3/2))
40.0ms
x
@-inf
(fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x))))
32.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)

end6.0ms (0%)

Profiling

Loading profile data...