Herbie run

Date:Monday, August 28th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023240
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: 7.5min)

sample1.7min (22.4%)

Results
30.0s154767×body256valid
18.4s29511×body1024valid
11.8s67225×body256invalid
7.6s7802×body8192exit
7.2s39420×body256infinite
6.0s10262×body2048valid
5.5s13935×body512valid
3.4s5846×body1024invalid
2.4s625×body4096infinite
2.0s2099×body4096valid
1.5s7916×body256unsamplable
1.3s2406×body1024infinite
1.3s615×body2048infinite
1.0s3031×body512invalid
735.0ms820×body8192valid
627.0ms1476×body512infinite
1.0ms1×body2048invalid
Bogosity

soundness1.3min (17.3%)

Rules
253716×fma-def
187826×associate-*r*
176060×times-frac
145260×associate-*l*
139058×log-prod
Stop Event
1×unsound
6×saturated
417×node limit
Compiler

Compiled 44214 to 26530 computations (40% saved)

localize1.3min (17%)

Compiler

Compiled 36748 to 16629 computations (54.7% saved)

regimes46.3s (10.3%)

Counts
8990 → 853
Calls

152 calls:

4.3s
l
2.4s
t
2.0s
F
1.6s
k
1.5s
EAccept
Compiler

Compiled 134959 to 69003 computations (48.9% saved)

eval40.6s (9%)

Compiler

Compiled 2243332 to 1313250 computations (41.5% saved)

simplify32.2s (7.1%)

Algorithm
183×egg-herbie
Rules
124218×fma-def
88094×associate-*r*
78384×times-frac
74428×associate-*l*
65988×*-commutative
Stop Event
2×done
37×saturated
29×fuel
146×node limit
Counts
61652 → 46273
Compiler

Compiled 13340 to 8416 computations (36.9% saved)

prune18.1s (4%)

Counts
69389 → 2958
Compiler

Compiled 205987 to 139949 computations (32.1% saved)

bsearch16.2s (3.6%)

Algorithm
385×binary-search
128×left-value
Stop Event
378×narrow-enough
7×predicate-same
Results
6.1s29187×body256valid
4.3s6564×body1024valid
1.6s3666×body512valid
1.2s5670×body256infinite
751.0ms4676×body256invalid
348.0ms345×body2048valid
168.0ms166×body4096valid
160.0ms372×body1024infinite
154.0ms406×body512invalid
131.0ms394×body1024invalid
95.0ms41×body4096infinite
92.0ms60×body2048infinite
65.0ms81×body8192valid
50.0ms168×body512infinite
Compiler

Compiled 106616 to 77738 computations (27.1% saved)

rewrite14.5s (3.2%)

Algorithm
121×batch-egg-rewrite
Rules
86058×pow1
81376×add-exp-log
81292×log1p-expm1-u
81270×expm1-log1p-u
81170×add-log-exp
Stop Event
1×unsound
120×node limit
Counts
1292 → 29846

analyze9.4s (2.1%)

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
30.2%28.2%65.2%1.8%0%4.8%0%3
34%31.2%60.6%1.8%0%6.4%0%4
36.2%33.2%58.5%1.8%0%6.4%0%5
40.4%37%54.5%1.8%0%6.6%0%6
45.4%41.1%49.4%1.8%0%7.3%0.4%7
47.7%42.6%46.7%1.8%0%8.6%0.4%8
50.6%44.9%43.9%1.8%0%8.9%0.5%9
51.7%45.7%42.7%1.8%0%9.3%0.5%10
53.4%46.8%40.9%1.8%0%9.9%0.6%11
55.1%48%39.1%1.8%0%10.5%0.6%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

series9.0s (2%)

Counts
1292 → 31775
Calls

8841 calls:

TimeVariablePointExpression
283.0ms
f
@-inf
(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 f) (*.f64 -1/4 (PI.f64))))
278.0ms
v
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3) 3)
267.0ms
V
@inf
(*.f64 c0 (pow.f64 (/.f64 V (/.f64 A l)) -1/2))
255.0ms
c0
@-inf
(*.f64 c0 (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3/2))
251.0ms
ky
@-inf
(*.f64 (/.f64 (sin.f64 ky) (hypot.f64 (sin.f64 ky) (sin.f64 kx))) (sin.f64 th))

preprocess8.8s (1.9%)

Algorithm
31×egg-herbie
Rules
36464×fma-def
16456×fma-neg
13966×div-sub
13472×distribute-lft-neg-in
12750×distribute-lft-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 32044 to 17242 computations (46.2% saved)

end51.0ms (0%)

Profiling

Loading profile data...