Herbie run

Date:Wednesday, July 19th, 2023
Commit:687f458a on main
Hostname:nightly with Racket 8.6
Seed:2023200
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.4%)

Results
37.6s269816×body256valid
16.3s14355×body2048valid
8.3s19501×body1024valid
5.0s30828×body256infinite
3.1s11085×body512valid
1.5s202×body8192exit
421.0ms754×body4096valid
356.0ms2629×body256invalid
141.0ms988×body256unsamplable
124.0ms180×body1024infinite
97.0ms218×body512infinite
15.0ms15×body2048infinite
Bogosity

soundness54.2s (17.3%)

Rules
225618×fma-def
133416×associate-*r*
121250×associate-*l*
116656×times-frac
111586×fma-neg
Stop Event
6×saturated
313×node limit
Compiler

Compiled 25401 to 15347 computations (39.6% saved)

localize46.0s (14.6%)

Compiler

Compiled 28102 to 15441 computations (45.1% saved)

eval35.4s (11.2%)

Compiler

Compiled 1875283 to 1130572 computations (39.7% saved)

simplify25.1s (8%)

Algorithm
209×egg-herbie
Rules
157458×fma-def
81218×associate-*r*
75550×associate-*l*
72080×distribute-lft-in
69516×fma-neg
Stop Event
15×done
58×saturated
27×fuel
151×node limit
Counts
48062 → 42274
Compiler

Compiled 8855 to 5677 computations (35.9% saved)

regimes20.0s (6.4%)

Counts
5017 → 641
Calls

94 calls:

2.0s
a
2.0s
c
1.7s
x1
1.6s
d
1.6s
b
Compiler

Compiled 70878 to 41175 computations (41.9% saved)

prune16.4s (5.2%)

Counts
62251 → 2150
Compiler

Compiled 112248 to 76035 computations (32.3% saved)

rewrite13.9s (4.4%)

Algorithm
125×batch-egg-rewrite
Rules
83218×pow1
79012×add-exp-log
78922×log1p-expm1-u
78914×expm1-log1p-u
75544×add-log-exp
Stop Event
125×node limit
Counts
956 → 28673

bsearch11.4s (3.6%)

Algorithm
332×binary-search
22×left-value
Stop Event
312×narrow-enough
20×predicate-same
Results
6.4s30740×body256valid
2.3s7029×body256infinite
711.0ms1404×body1024valid
455.0ms1667×body512valid
222.0ms306×body2048valid
190.0ms1659×body256invalid
183.0ms288×body1024infinite
62.0ms161×body512infinite
4.0ms30×body256unsamplable
2.0ms4×body4096valid
1.0ms1×body2048infinite
Compiler

Compiled 86232 to 60100 computations (30.3% saved)

preprocess9.0s (2.9%)

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 21381 to 12309 computations (42.4% saved)

analyze6.2s (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.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)

series3.1s (1%)

Counts
956 → 19347
Calls

5220 calls:

TimeVariablePointExpression
143.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
67.0ms
y
@-inf
(-.f64 (+.f64 (-.f64 x y) (/.f64 y (/.f64 x y))) (*.f64 (/.f64 y x) (*.f64 2 (/.f64 y (/.f64 x y)))))
67.0ms
a
@0
(/.f64 (-.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 a 4) -1) c)) b) a)
59.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
49.0ms
a
@inf
(/.f64 (+.f64 (neg.f64 b) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))) (*.f64 2 a))

end13.0ms (0%)

Profiling

Loading profile data...