Herbie run

Date:Wednesday, August 9th, 2023
Commit:fe234438 on compare-reports
Hostname:nightly with Racket 8.6
Seed:2023221
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.3min (24.1%)

Results
39.3s269693×body256valid
17.0s14409×body2048valid
7.9s19622×body1024valid
5.3s30729×body256infinite
2.7s11127×body512valid
1.5s202×body8192exit
516.0ms802×body4096valid
270.0ms2650×body256invalid
172.0ms164×body1024infinite
156.0ms924×body256unsamplable
71.0ms193×body512infinite
12.0ms13×body2048infinite
Bogosity

localize50.3s (16.1%)

Compiler

Compiled 29402 to 16037 computations (45.5% saved)

soundness43.8s (14%)

Rules
193192×fma-def
107926×associate-*r*
98278×log-prod
92456×times-frac
87478×distribute-lft-in
Stop Event
6×saturated
272×node limit
Compiler

Compiled 26972 to 16595 computations (38.5% saved)

eval40.8s (13%)

Compiler

Compiled 2031096 to 1222719 computations (39.8% saved)

simplify24.6s (7.9%)

Algorithm
203×egg-herbie
Rules
143194×fma-def
70602×associate-*r*
69906×times-frac
66770×distribute-lft-in
63934×fma-neg
Stop Event
16×done
59×saturated
26×fuel
144×node limit
Counts
45879 → 40447
Compiler

Compiled 11207 to 7242 computations (35.4% saved)

regimes17.0s (5.4%)

Counts
4707 → 597
Calls

94 calls:

2.0s
x
2.0s
x1
1.2s
b
1.1s
d
1.1s
a
Compiler

Compiled 100095 to 60236 computations (39.8% saved)

prune15.2s (4.9%)

Counts
62562 → 2054
Compiler

Compiled 132014 to 87751 computations (33.5% saved)

rewrite13.8s (4.4%)

Algorithm
119×batch-egg-rewrite
Rules
78200×pow1
74144×add-exp-log
74108×log1p-expm1-u
74094×expm1-log1p-u
72196×add-log-exp
Stop Event
119×node limit
Counts
857 → 27939

bsearch12.1s (3.9%)

Algorithm
292×binary-search
31×left-value
Stop Event
281×narrow-enough
11×predicate-same
Results
4.3s22860×body256valid
4.3s10426×body256infinite
1.3s2216×body1024valid
660.0ms1833×body512valid
295.0ms413×body2048valid
210.0ms1962×body256invalid
37.0ms74×body1024infinite
36.0ms264×body256unsamplable
21.0ms66×body512infinite
Compiler

Compiled 108871 to 76214 computations (30% saved)

preprocess10.2s (3.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 25979 to 15573 computations (40.1% saved)

analyze6.8s (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.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.6s (0.8%)

Counts
857 → 17898
Calls

4728 calls:

TimeVariablePointExpression
107.0ms
r
@inf
(pow.f64 (*.f64 r w) 2)
65.0ms
x
@0
(pow.f64 (exp.f64 10) (pow.f64 x 3/2))
64.0ms
b
@-inf
(/.f64 c (/.f64 b a))
56.0ms
t
@-inf
(-.f64 (pow.f64 t 3/2) 1)
55.0ms
x1
@inf
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)

end15.0ms (0%)

Profiling

Loading profile data...