Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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: 10.1min)

eval1.8min (18.3%)

Compiler

Compiled 3554378 to 2349348 computations (33.9% saved)

sample1.7min (16.7%)

Results
45.8s179622×body256valid
15.3s67353×body256invalid
9.8s42963×body256infinite
7.5s10938×body1024valid
6.2s9387×body2048valid
4.0s5688×body1024invalid
3.5s8263×body512valid
2.3s1960×body4096valid
2.0s585×body4096infinite
1.3s644×body2048infinite
1.3s2995×body512invalid
772.0ms789×body8192valid
284.0ms363×body1024infinite
161.0ms422×body512infinite
42.0ms181×body256unsamplable
16.0ms18×body8192exit
Bogosity

soundness1.6min (15.9%)

Rules
176716×fma-def
135664×associate-*r*
134228×times-frac
116662×log-prod
111926×associate-*l*
Stop Event
3×saturated
5×unsound
344×node limit
Compiler

Compiled 35213 to 22099 computations (37.2% saved)

localize1.6min (15.8%)

Compiler

Compiled 38243 to 20783 computations (45.7% saved)

regimes50.0s (8.3%)

Counts
8893 → 752
Calls

152 calls:

4.1s
l
2.7s
t
2.4s
d
2.4s
F
2.1s
k
Compiler

Compiled 130624 to 75691 computations (42.1% saved)

simplify41.8s (6.9%)

Algorithm
149×egg-herbie
Rules
98140×fma-def
67222×times-frac
64554×associate-*r*
55240×*-commutative
54876×associate-*l*
Stop Event
2×done
31×saturated
29×fuel
118×node limit
Counts
65191 → 50352
Compiler

Compiled 12065 to 8021 computations (33.5% saved)

prune27.3s (4.5%)

Counts
82399 → 2921
Compiler

Compiled 205036 to 149287 computations (27.2% saved)

rewrite25.9s (4.3%)

Algorithm
118×batch-egg-rewrite
Rules
56484×log1p-expm1-u
43290×expm1-udef
41248×expm1-log1p-u
36424×log1p-udef
34456×prod-diff
Stop Event
3×unsound
115×node limit
Counts
1249 → 36117

preprocess17.5s (2.9%)

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 59452 to 36301 computations (38.9% saved)

bsearch16.8s (2.8%)

Algorithm
360×binary-search
77×left-value
Stop Event
351×narrow-enough
9×predicate-same
Results
9.6s33885×body256valid
2.6s9210×body256invalid
2.1s8289×body256infinite
434.0ms911×body1024valid
215.0ms300×body2048valid
207.0ms592×body512valid
109.0ms136×body4096valid
101.0ms98×body8192valid
75.0ms183×body1024invalid
75.0ms26×body2048infinite
36.0ms123×body512invalid
11.0ms29×body512infinite
3.0ms6×body1024infinite
1.0ms1×body8192exit
Compiler

Compiled 106812 to 80781 computations (24.4% saved)

analyze11.5s (1.9%)

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)

series10.9s (1.8%)

Counts
1249 → 29074
Calls

8433 calls:

TimeVariablePointExpression
261.0ms
k
@-inf
(sqrt.f64 (/.f64 k (*.f64 n (*.f64 2 (PI.f64)))))
184.0ms
k
@-inf
(pow.f64 (*.f64 2 (/.f64 (*.f64 n (PI.f64)) k)) 3/2)
114.0ms
h
@-inf
(sqrt.f64 (/.f64 h l))
108.0ms
ky
@0
(/.f64 1 (hypot.f64 1 (*.f64 (sin.f64 ky) (/.f64 (*.f64 2 l) Om))))
92.0ms
n
@-inf
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))

end23.0ms (0%)

Profiling

Loading profile data...