Herbie run

Date:Tuesday, July 11th, 2023
Commit:fc7fce6f on preprocess-absolute-value
Hostname:nightly with Racket 8.6
Seed:2023192
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: 8.0min)

sample1.8min (22%)

Results
31.0s154985×body256valid
19.0s29572×body1024valid
11.7s67038×body256invalid
8.3s7764×body8192exit
7.9s39300×body256infinite
6.4s10125×body2048valid
6.1s13928×body512valid
3.2s6010×body1024invalid
2.3s640×body4096infinite
2.1s1968×body4096valid
1.8s8112×body256unsamplable
1.2s639×body2048infinite
1.1s2988×body512invalid
1.1s2452×body1024infinite
674.0ms820×body8192valid
552.0ms1507×body512infinite
1.0ms2×body2048invalid
Bogosity

localize1.3min (16.5%)

Compiler

Compiled 39253 to 18661 computations (52.5% saved)

soundness1.3min (15.7%)

Rules
258020×fma-def
205904×associate-*r*
157862×associate-*l*
155084×times-frac
140812×log-prod
Stop Event
6×unsound
7×saturated
412×node limit
Compiler

Compiled 39328 to 23878 computations (39.3% saved)

eval56.0s (11.7%)

Compiler

Compiled 2944403 to 1805767 computations (38.7% saved)

regimes51.0s (10.7%)

Counts
9601 → 912
Calls

152 calls:

4.6s
l
2.2s
t
1.8s
F
1.7s
k
1.6s
mu
Compiler

Compiled 142881 to 76455 computations (46.5% saved)

simplify31.5s (6.6%)

Algorithm
185×egg-herbie
Rules
130942×fma-def
97804×associate-*r*
78962×associate-*l*
78024×times-frac
65612×*-commutative
Stop Event
1×done
37×saturated
30×fuel
148×node limit
Counts
62094 → 48944
Compiler

Compiled 13517 to 8805 computations (34.9% saved)

prune21.9s (4.6%)

Counts
77638 → 3118
Compiler

Compiled 220085 to 150791 computations (31.5% saved)

bsearch18.0s (3.8%)

Algorithm
433×binary-search
118×left-value
Stop Event
414×narrow-enough
19×predicate-same
Results
6.9s34296×body256valid
4.7s6331×body1024valid
1.5s4012×body512valid
1.2s6166×body256infinite
1.1s5793×body256invalid
411.0ms771×body1024infinite
383.0ms561×body2048valid
278.0ms874×body1024invalid
146.0ms172×body4096valid
124.0ms405×body512invalid
100.0ms67×body2048infinite
78.0ms269×body512infinite
46.0ms57×body8192valid
37.0ms18×body4096infinite
Compiler

Compiled 112865 to 84685 computations (25% saved)

rewrite14.6s (3.1%)

Algorithm
123×batch-egg-rewrite
Rules
85790×pow1
81204×add-exp-log
81124×log1p-expm1-u
81116×add-log-exp
81110×expm1-log1p-u
Stop Event
2×unsound
121×node limit
Counts
1380 → 28760

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

series8.1s (1.7%)

Counts
1380 → 33303
Calls

9267 calls:

TimeVariablePointExpression
111.0ms
K
@-inf
(log1p.f64 (cos.f64 (-.f64 (*.f64 (+.f64 m n) (*.f64 K 1/2)) M)))
94.0ms
l
@-inf
(pow.f64 (/.f64 (neg.f64 l) A) -1/2)
79.0ms
A
@0
(pow.f64 (/.f64 A (*.f64 V l)) 3/2)
69.0ms
f
@0
(*.f64 (/.f64 1 (/.f64 (PI.f64) 4)) (-.f64 (log.f64 (/.f64 2 (*.f64 (PI.f64) 1/2))) (log.f64 f)))
59.0ms
KbT
@0
(log1p.f64 (exp.f64 (/.f64 EAccept KbT)))

end5.9s (1.2%)

Compiler

Compiled 32466 to 17860 computations (45% saved)

preprocess2.8s (0.6%)

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 904 to 666 computations (26.3% saved)

Profiling

Loading profile data...