Herbie run

Date:Saturday, January 20th, 2024
Commit:b0e0d136 on zane-regimes-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.0min)

localize1.7min (19%)

Compiler

Compiled 36662 to 19056 computations (48% saved)

sample1.6min (18%)

Results
44.0s180260×body256valid
13.8s67048×body256invalid
8.9s42253×body256infinite
6.9s9450×body2048valid
6.9s10763×body1024valid
4.1s5668×body1024invalid
3.6s8503×body512valid
2.2s603×body4096infinite
2.2s1984×body4096valid
1.6s3001×body512invalid
1.4s617×body2048infinite
820.0ms778×body8192valid
310.0ms361×body512infinite
287.0ms364×body1024infinite
45.0ms190×body256unsamplable
10.0ms12×body8192exit
Bogosity

soundness1.6min (17.6%)

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)

eval51.4s (9.5%)

Compiler

Compiled 2336550 to 1452945 computations (37.8% saved)

regimes50.8s (9.4%)

Counts
7686 → 709
Calls

152 calls:

4.2s
l
2.7s
t
1.9s
NdChar
1.7s
F
1.6s
mu
Compiler

Compiled 111006 to 65041 computations (41.4% saved)

simplify42.0s (7.7%)

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.3s (4.7%)

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

prune22.3s (4.1%)

Counts
75718 → 2857
Compiler

Compiled 207039 to 148819 computations (28.1% saved)

preprocess16.2s (3%)

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 48712 to 30727 computations (36.9% saved)

bsearch13.3s (2.5%)

Algorithm
307×binary-search
83×left-value
Stop Event
298×narrow-enough
2×predicate-failed
7×predicate-same
Results
8.7s30872×body256valid
1.6s6222×body256infinite
1.4s5553×body256invalid
282.0ms569×body1024valid
153.0ms187×body2048valid
144.0ms202×body8192exit
90.0ms321×body512valid
35.0ms54×body4096valid
34.0ms13×body8192valid
27.0ms67×body512infinite
24.0ms62×body1024invalid
10.0ms34×body512invalid
5.0ms9×body1024infinite
5.0ms6×body2048infinite
Compiler

Compiled 86132 to 66550 computations (22.7% saved)

series12.8s (2.4%)

Counts
1213 → 28041
Calls

8313 calls:

TimeVariablePointExpression
257.0ms
f
@0
(/.f64 4 (*.f64 f (PI.f64)))
176.0ms
l
@0
(log.f64 (pow.f64 (exp.f64 (pow.f64 l 2)) (pow.f64 k -4)))
174.0ms
n
@0
(pow.f64 (pow.f64 (*.f64 2 (*.f64 n (*.f64 U t))) 3/2) 1/3)
173.0ms
l
@-inf
(log.f64 (*.f64 -1/4 (/.f64 (/.f64 (*.f64 (pow.f64 D 2) h) (pow.f64 d 2)) l)))
157.0ms
f
@-inf
(pow.f64 (cbrt.f64 (*.f64 (/.f64 4 (PI.f64)) (log.f64 (/.f64 4 (*.f64 f (PI.f64)))))) 3)

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

end19.0ms (0%)

Profiling

Loading profile data...