Herbie run

Date:Tuesday, October 24th, 2023
Commit:21d611eb on main
Hostname:nightly with Racket 8.6
Seed:2023297
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.1min)

sample1.3min (25.4%)

Results
40.0s269424×body256valid
16.7s14395×body2048valid
8.8s19784×body1024valid
5.2s31078×body256infinite
2.7s10885×body512valid
1.6s202×body8192exit
382.0ms779×body4096valid
346.0ms2815×body256invalid
202.0ms1047×body256unsamplable
128.0ms194×body1024infinite
73.0ms204×body512infinite
8.0ms9×body2048infinite
Bogosity

soundness49.0s (16.1%)

Rules
212422×fma-def
127822×associate-*r*
114180×fma-neg
113956×associate-*l*
98374×log-prod
Stop Event
5×saturated
285×node limit
Compiler

Compiled 24691 to 15021 computations (39.2% saved)

localize38.4s (12.6%)

Compiler

Compiled 25500 to 13739 computations (46.1% saved)

eval37.9s (12.5%)

Compiler

Compiled 1839866 to 1125557 computations (38.8% saved)

simplify22.9s (7.5%)

Algorithm
171×egg-herbie
Rules
104408×fma-def
68580×fma-neg
66756×associate-*r*
62888×associate-*l*
60920×log-prod
Stop Event
13×done
1×unsound
43×saturated
29×fuel
127×node limit
Counts
49401 → 43204
Compiler

Compiled 8555 to 5476 computations (36% saved)

prune15.5s (5.1%)

Counts
63913 → 1928
Compiler

Compiled 105157 to 70727 computations (32.7% saved)

regimes15.3s (5%)

Counts
3818 → 586
Calls

95 calls:

2.0s
c
1.4s
x1
1.3s
b
1.3s
x
1.2s
a
Compiler

Compiled 52701 to 30820 computations (41.5% saved)

preprocess14.5s (4.8%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 24482 to 14564 computations (40.5% saved)

rewrite14.4s (4.7%)

Algorithm
129×batch-egg-rewrite
Rules
86060×pow1
81610×add-exp-log
81564×log1p-expm1-u
81546×expm1-log1p-u
79578×add-log-exp
Stop Event
129×node limit
Counts
941 → 30841

bsearch9.7s (3.2%)

Algorithm
287×binary-search
33×left-value
Stop Event
277×narrow-enough
10×predicate-same
Results
5.7s25502×body256valid
1.7s6087×body256infinite
709.0ms1283×body1024valid
479.0ms997×body512valid
297.0ms322×body2048valid
105.0ms184×body1024infinite
96.0ms952×body256invalid
28.0ms83×body512infinite
11.0ms6×body4096valid
11.0ms83×body256unsamplable
Compiler

Compiled 73792 to 51288 computations (30.5% saved)

analyze6.5s (2.1%)

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.5s (0.8%)

Counts
941 → 18560
Calls

5001 calls:

TimeVariablePointExpression
62.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))))
55.0ms
u
@0
(/.f64 (neg.f64 t1) (*.f64 u u))
46.0ms
c
@inf
(/.f64 a (/.f64 (pow.f64 b 3) (*.f64 c c)))
35.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
33.0ms
c
@inf
(+.f64 e (+.f64 d (+.f64 a (+.f64 b c))))

end7.0ms (0%)

Profiling

Loading profile data...