Herbie run

Date:Saturday, January 20th, 2024
Commit:d8d592a2 on error-explanations-2
Hostname:nightly with Racket 8.6
Seed:2024020
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: 9.1min)

localize1.7min (19.2%)

Compiler

Compiled 36662 to 19056 computations (48% saved)

sample1.7min (18.2%)

Results
44.1s180260×body256valid
14.7s67048×body256invalid
9.6s42253×body256infinite
7.3s10763×body1024valid
6.8s9450×body2048valid
4.3s5668×body1024invalid
3.3s8503×body512valid
2.2s1984×body4096valid
2.2s603×body4096infinite
1.7s617×body2048infinite
1.3s3001×body512invalid
853.0ms778×body8192valid
236.0ms364×body1024infinite
151.0ms361×body512infinite
46.0ms190×body256unsamplable
10.0ms12×body8192exit
Bogosity

soundness1.6min (17.2%)

Rules
194842×fma-def
152676×associate-*r*
148064×times-frac
123896×associate-*l*
121816×log-prod
Stop Event
3×unsound
3×saturated
371×node limit
Compiler

Compiled 35102 to 22118 computations (37% saved)

eval50.3s (9.2%)

Compiler

Compiled 2336550 to 1452945 computations (37.8% saved)

regimes48.2s (8.8%)

Counts
7686 → 709
Calls

152 calls:

3.8s
l
3.0s
t
2.3s
NdChar
1.6s
k
1.5s
(sin.f64 ky)
Compiler

Compiled 111006 to 65041 computations (41.4% saved)

simplify40.1s (7.4%)

Algorithm
151×egg-herbie
Rules
101618×fma-def
71156×times-frac
67990×associate-*r*
61964×associate-*l*
56286×log-prod
Stop Event
2×done
31×saturated
29×fuel
120×node limit
Counts
61930 → 48676
Compiler

Compiled 11235 to 7576 computations (32.6% saved)

rewrite25.2s (4.6%)

Algorithm
120×batch-egg-rewrite
Rules
58317×log1p-expm1-u
44660×expm1-log1p-u
39680×expm1-udef
37414×prod-diff
34854×log-prod
Stop Event
2×unsound
118×node limit
Counts
1213 → 33889

preprocess24.5s (4.5%)

Algorithm
31×egg-herbie
Rules
40752×fma-def
16598×fma-neg
15324×div-sub
14446×distribute-lft-neg-in
13254×associate-/l*
Stop Event
4×saturated
27×node limit
Compiler

Compiled 52112 to 32466 computations (37.7% saved)

prune22.9s (4.2%)

Counts
75718 → 2857
Compiler

Compiled 207039 to 148819 computations (28.1% saved)

bsearch12.1s (2.2%)

Algorithm
307×binary-search
83×left-value
Stop Event
298×narrow-enough
2×predicate-failed
7×predicate-same
Results
7.8s30872×body256valid
1.5s6222×body256infinite
1.3s5553×body256invalid
206.0ms187×body2048valid
203.0ms569×body1024valid
156.0ms202×body8192exit
91.0ms321×body512valid
36.0ms54×body4096valid
31.0ms67×body512infinite
25.0ms62×body1024invalid
12.0ms13×body8192valid
10.0ms34×body512invalid
5.0ms9×body1024infinite
5.0ms6×body2048infinite
Compiler

Compiled 86132 to 66550 computations (22.7% saved)

series11.8s (2.2%)

Counts
1213 → 28041
Calls

8313 calls:

TimeVariablePointExpression
346.0ms
n
@inf
(sqrt.f64 (sqrt.f64 (*.f64 2 (*.f64 n (*.f64 U t)))))
255.0ms
d
@0
(*.f64 w0 (exp.f64 (*.f64 (fma.f64 -2 (log.f64 d) (log.f64 (/.f64 (*.f64 -1/4 (*.f64 (pow.f64 (*.f64 D M) 2) h)) l))) 1/2)))
248.0ms
t
@0
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 2) t)))
196.0ms
l
@0
(log.f64 (pow.f64 (exp.f64 (pow.f64 l 2)) (pow.f64 k -4)))
142.0ms
l
@-inf
(/.f64 (/.f64 2 (*.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 3) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) 2) 0)))

analyze11.7s (2.2%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.3%40.3%48.7%1.8%0%8.1%1.1%7
47.6%41.8%45.9%1.8%0%9.4%1.2%8
50.6%44.1%43.1%1.8%0%9.7%1.2%9
51.8%44.9%41.8%1.8%0%10.1%1.3%10
53.5%46.1%40.1%1.8%0%10.7%1.3%11
55.2%47.2%38.3%1.8%0%11.3%1.4%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

end73.0ms (0%)

Profiling

Loading profile data...