Herbie run

Date:Thursday, August 17th, 2023
Commit:1987babf on main
Hostname:nightly with Racket 8.6
Seed:2023229
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: 4.2min)

sample1.4min (33.1%)

Results
29.4s33314×body2048valid
26.8s62842×body1024valid
11.3s86853×body256valid
8.1s32807×body512valid
1.5s12977×body256infinite
1.4s2026×body4096valid
1.0s1265×body1024invalid
836.0ms7433×body256unsamplable
560.0ms5081×body256invalid
233.0ms171×body1024infinite
217.0ms594×body512invalid
190.0ms176×body512infinite
162.0ms447×body1024unsamplable
147.0ms270×body2048unsamplable
62.0ms247×body512unsamplable
11.0ms6×body2048invalid
2.0ms1×body8192valid
1.0ms1×body2048infinite
Bogosity

localize34.5s (13.8%)

Compiler

Compiled 13645 to 6709 computations (50.8% saved)

soundness33.4s (13.4%)

Rules
151224×fma-def
89530×fma-neg
80586×log-prod
79810×associate-*r*
68826×associate-*l*
Stop Event
8×saturated
204×node limit
Compiler

Compiled 19735 to 12400 computations (37.2% saved)

eval25.6s (10.2%)

Compiler

Compiled 1324960 to 764191 computations (42.3% saved)

simplify19.3s (7.7%)

Algorithm
149×egg-herbie
Rules
94630×fma-def
54300×associate-*r*
48914×associate-*l*
48714×fma-neg
45740×times-frac
Stop Event
47×saturated
6×done
22×fuel
102×node limit
Counts
36881 → 36009
Compiler

Compiled 4788 to 3235 computations (32.4% saved)

prune12.7s (5.1%)

Counts
54155 → 2277
Compiler

Compiled 121019 to 83202 computations (31.2% saved)

regimes12.5s (5%)

Counts
4413 → 377
Calls

43 calls:

3.6s
x
2.0s
eps
842.0ms
c
821.0ms
a
737.0ms
b
Compiler

Compiled 54079 to 30595 computations (43.4% saved)

rewrite10.6s (4.2%)

Algorithm
93×batch-egg-rewrite
Rules
56952×pow1
54074×add-exp-log
54054×log1p-expm1-u
54020×expm1-log1p-u
50596×add-log-exp
Stop Event
93×node limit
Counts
777 → 25093

bsearch6.6s (2.6%)

Algorithm
152×binary-search
38×left-value
Stop Event
143×narrow-enough
9×predicate-same
Results
2.1s11407×body256valid
2.0s4344×body1024valid
839.0ms2213×body512valid
579.0ms787×body2048valid
377.0ms1304×body256infinite
203.0ms1657×body256invalid
49.0ms49×body1024infinite
19.0ms40×body512infinite
10.0ms64×body256unsamplable
0.0ms1×body512unsamplable
Compiler

Compiled 34884 to 25221 computations (27.7% saved)

preprocess6.0s (2.4%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10960 to 6709 computations (38.8% saved)

series3.5s (1.4%)

Counts
777 → 11760
Calls

3510 calls:

TimeVariablePointExpression
242.0ms
n
@inf
(/.f64 (log1p.f64 x) n)
81.0ms
N
@inf
(pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4)
56.0ms
x
@-inf
(log.f64 (*.f64 (sin.f64 eps) (cos.f64 x)))
48.0ms
b
@0
(/.f64 1 (*.f64 2 (*.f64 1/2 (/.f64 a b))))
47.0ms
eps
@inf
(-.f64 (-.f64 (exp.f64 (log1p.f64 (tan.f64 (+.f64 x eps)))) 1) (tan.f64 x))

analyze2.8s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

end4.0ms (0%)

Profiling

Loading profile data...