Herbie run

Date:Wednesday, January 31st, 2024
Commit:92b4fbd0 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 6.9min)

sample1.4min (20.9%)

Results
46.1s270623×256valid
6.5s30958×256infinite
9.8s19460×1024valid
16.9s13527×2048valid
3.4s11044×512valid
556.0ms2639×256invalid
157.0ms945×256unsamplable
430.0ms761×4096valid
1.8s202×8192exit
108.0ms188×512infinite
110.0ms171×1024infinite
47.0ms20×2048infinite
Bogosity

eval1.1min (15.3%)

Compiler

Compiled 2623313 to 1728851 computations (34.1% saved)

localize58.8s (14.3%)

Compiler

Compiled 29863 to 17412 computations (41.7% saved)

soundness57.3s (13.9%)

Rules
159680×fma-def
86220×times-frac
78868×associate-*r*
69386×distribute-lft-in
66408×associate-*l*
Stop Event
4×saturated
236×node limit
Compiler

Compiled 19828 to 11689 computations (41% saved)

simplify33.6s (8.2%)

Algorithm
164×egg-herbie
Rules
98020×fma-def
56970×associate-*r*
52744×distribute-lft-in
50482×times-frac
49788×log-prod
Stop Event
42×saturated
122×node limit
23×fuel
19×done
Counts
52464 → 47223
Compiler

Compiled 7761 to 4961 computations (36.1% saved)

preprocess26.6s (6.5%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 30043 to 18317 computations (39% saved)

rewrite25.4s (6.2%)

Algorithm
122×batch-egg-rewrite
Rules
64961×log1p-expm1-u
57236×expm1-log1p-u
41944×prod-diff
40984×log-prod
36758×expm1-udef
Stop Event
122×node limit
Counts
917 → 34920

prune19.5s (4.7%)

Counts
74834 → 1926
Compiler

Compiled 74616 to 51044 computations (31.6% saved)

regimes17.0s (4.1%)

Counts
3711 → 522
Calls

94 calls:

2.3s
c
1.9s
x1
1.6s
x
1.2s
b
1.2s
a
Compiler

Compiled 3889 to 2739 computations (29.6% saved)

bsearch11.1s (2.7%)

Algorithm
255×binary-search
23×left-value
Stop Event
8×predicate-same
247×narrow-enough
Results
5.5s21194×256valid
2.3s6071×256infinite
490.0ms2667×256invalid
1.3s2296×1024valid
524.0ms1263×512valid
241.0ms292×2048valid
46.0ms76×1024infinite
14.0ms40×512infinite
3.0ms2×256unsamplable
Compiler

Compiled 76341 to 53793 computations (29.5% saved)

analyze8.6s (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.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series4.5s (1.1%)

Counts
917 → 17544
Calls

4962 calls:

TimeVariablePointExpression
152.0ms
eps
@-inf
(cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
136.0ms
t
@0
(sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
124.0ms
d
@inf
(/.f64 (sqrt.f64 (-.f64 (*.f64 c b) (*.f64 d a))) d)
91.0ms
a
@-inf
(+.f64 b (pow.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (pow.f64 b 2)) 1/4) 2))
65.0ms
x
@0
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (*.f64 10 (pow.f64 x 2))))

end13.0ms (0%)

Profiling

Loading profile data...