Herbie run

Date:Friday, October 20th, 2023
Commit:6eeb5e19 on timeline-link
Hostname:nightly with Racket 8.6
Seed:2023293
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: 6.0min)

sample1.2min (20.6%)

Results
39.1s269574×body256valid
16.1s14335×body2048valid
7.8s19417×body1024valid
5.0s30947×body256infinite
2.9s11338×body512valid
1.5s202×body8192exit
364.0ms719×body4096valid
297.0ms2722×body256invalid
125.0ms919×body256unsamplable
119.0ms199×body1024infinite
83.0ms202×body512infinite
20.0ms21×body2048infinite
Bogosity

eval1.1min (18.4%)

Compiler

Compiled 2688955 to 1643312 computations (38.9% saved)

localize52.1s (14.5%)

Compiler

Compiled 34451 to 18934 computations (45% saved)

soundness51.3s (14.3%)

Rules
246996×fma-def
147864×associate-*r*
120838×times-frac
119386×associate-*l*
101916×distribute-lft-in
Stop Event
5×saturated
307×node limit
Compiler

Compiled 26877 to 16129 computations (40% saved)

simplify22.7s (6.3%)

Algorithm
167×egg-herbie
Rules
101140×fma-def
75224×associate-*r*
62624×associate-*l*
60600×times-frac
56562×distribute-lft-in
Stop Event
13×done
42×saturated
29×fuel
125×node limit
Counts
47633 → 43133
Compiler

Compiled 10282 to 6430 computations (37.5% saved)

regimes21.9s (6.1%)

Counts
4914 → 644
Calls

94 calls:

2.8s
c
2.4s
x1
1.8s
b
1.7s
a
1.5s
x
Compiler

Compiled 111726 to 65256 computations (41.6% saved)

prune19.3s (5.4%)

Counts
72530 → 2093
Compiler

Compiled 145615 to 96977 computations (33.4% saved)

preprocess15.9s (4.4%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 27634 to 15812 computations (42.8% saved)

rewrite14.8s (4.1%)

Algorithm
125×batch-egg-rewrite
Rules
86818×pow1
82394×add-exp-log
82360×log1p-expm1-u
82336×expm1-log1p-u
77248×add-log-exp
Stop Event
125×node limit
Counts
939 → 28821

bsearch11.9s (3.3%)

Algorithm
331×binary-search
31×left-value
Stop Event
311×narrow-enough
20×predicate-same
Results
6.5s29683×body256valid
2.9s7991×body256infinite
785.0ms1416×body1024valid
348.0ms857×body512valid
306.0ms401×body2048valid
129.0ms1238×body256invalid
27.0ms68×body512infinite
4.0ms9×body1024infinite
3.0ms7×body4096valid
2.0ms13×body256unsamplable
Compiler

Compiled 97491 to 67156 computations (31.1% saved)

analyze6.6s (1.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.1s (0.9%)

Counts
939 → 18812
Calls

5076 calls:

TimeVariablePointExpression
85.0ms
i
@inf
(/.f64 (+.f64 i (*.f64 (*.f64 i i) (-.f64 1/2 (/.f64 1/2 n)))) (/.f64 i n))
79.0ms
eps
@0
(pow.f64 (pow.f64 (neg.f64 eps) 1/4) 2)
59.0ms
c
@-inf
(/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)
47.0ms
n
@-inf
(*.f64 (/.f64 n (/.f64 i (-.f64 (log.f64 i) (log.f64 n)))) (*.f64 n 100))
47.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)

end10.0ms (0%)

Profiling

Loading profile data...