Herbie run

Date:Monday, February 5th, 2024
Commit:283b0aa8 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024036
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.7min)

sample1.5min (22.4%)

Results
50.0s270436×body256valid
17.4s13824×body2048valid
8.8s19421×body1024valid
6.4s31074×body256infinite
3.4s10910×body512valid
1.9s202×body8192exit
507.0ms736×body4096valid
459.0ms2720×body256invalid
197.0ms954×body256unsamplable
93.0ms145×body1024infinite
76.0ms188×body512infinite
21.0ms18×body2048infinite
Bogosity

localize1.0min (15.4%)

Compiler

Compiled 28946 to 17318 computations (40.2% saved)

soundness1.0min (15.2%)

Rules
147068×fma-def
90994×associate-*r*
83864×times-frac
73646×fma-neg
69024×associate-*l*
Stop Event
4×saturated
246×node limit
Compiler

Compiled 26204 to 15787 computations (39.8% saved)

eval53.0s (13.2%)

Compiler

Compiled 2236802 to 1529795 computations (31.6% saved)

simplify31.7s (7.9%)

Algorithm
160×egg-herbie
Rules
92820×fma-def
55208×associate-*r*
53496×fma-neg
52394×distribute-lft-in
51510×times-frac
Stop Event
42×saturated
118×node limit
27×fuel
15×done
Counts
50053 → 44895
Compiler

Compiled 8836 to 5689 computations (35.6% saved)

rewrite26.0s (6.5%)

Algorithm
118×batch-egg-rewrite
Rules
56906×log1p-expm1-u
49121×expm1-log1p-u
42300×log-prod
40458×prod-diff
37040×expm1-udef
Stop Event
117×node limit
1×unsound
Counts
903 → 32588

prune19.7s (4.9%)

Counts
69022 → 1902
Compiler

Compiled 117267 to 81766 computations (30.3% saved)

preprocess18.4s (4.6%)

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 28882 to 17580 computations (39.1% saved)

regimes17.6s (4.4%)

Counts
3613 → 550
Calls

94 calls:

2.2s
c
1.7s
d
1.7s
a
1.5s
b
1.1s
x1
Compiler

Compiled 57912 to 35302 computations (39% saved)

bsearch10.0s (2.5%)

Algorithm
280×binary-search
23×left-value
Stop Event
15×predicate-same
265×narrow-enough
Results
6.5s27889×body256valid
1.2s3316×body256infinite
842.0ms1931×body1024valid
267.0ms766×body512valid
266.0ms2547×body256invalid
137.0ms195×body2048valid
48.0ms61×body1024infinite
9.0ms18×body512infinite
7.0ms49×body256unsamplable
Compiler

Compiled 76932 to 53628 computations (30.3% saved)

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

series3.9s (1%)

Counts
903 → 17465
Calls

4803 calls:

TimeVariablePointExpression
136.0ms
eps
@0
(fma.f64 eps eps (*.f64 eps (*.f64 x 2)))
126.0ms
r
@inf
(/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))
116.0ms
n
@0
(log1p.f64 (/.f64 i n))
84.0ms
i
@-inf
(/.f64 (expm1.f64 (*.f64 n (log1p.f64 (/.f64 i n)))) (/.f64 i (*.f64 n 100)))
75.0ms
b
@0
(*.f64 (-.f64 b (hypot.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) b)) (/.f64 -1/2 a))

end15.0ms (0%)

Profiling

Loading profile data...