Herbie run

Date:Friday, October 20th, 2023
Commit:21d611eb on main
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: 5.9min)

sample1.2min (20.6%)

Results
37.9s269574×body256valid
15.6s14335×body2048valid
8.6s19417×body1024valid
5.0s30947×body256infinite
2.9s11338×body512valid
1.5s202×body8192exit
436.0ms719×body4096valid
296.0ms2722×body256invalid
135.0ms199×body1024infinite
126.0ms919×body256unsamplable
76.0ms202×body512infinite
21.0ms21×body2048infinite
Bogosity

eval1.1min (18.2%)

Compiler

Compiled 2688955 to 1643312 computations (38.9% saved)

soundness53.3s (15%)

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)

localize51.4s (14.5%)

Compiler

Compiled 34451 to 18934 computations (45% saved)

simplify23.4s (6.6%)

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)

regimes20.7s (5.8%)

Counts
4914 → 644
Calls

94 calls:

2.6s
c
1.9s
x1
1.8s
a
1.4s
b
1.4s
x
Compiler

Compiled 111726 to 65256 computations (41.6% saved)

prune19.5s (5.5%)

Counts
72530 → 2093
Compiler

Compiled 145615 to 96977 computations (33.4% saved)

preprocess15.4s (4.3%)

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.6s (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

bsearch10.4s (2.9%)

Algorithm
331×binary-search
31×left-value
Stop Event
311×narrow-enough
20×predicate-same
Results
5.5s29683×body256valid
2.3s7991×body256infinite
768.0ms1416×body1024valid
402.0ms401×body2048valid
390.0ms857×body512valid
125.0ms1238×body256invalid
22.0ms68×body512infinite
4.0ms9×body1024infinite
3.0ms7×body4096valid
2.0ms13×body256unsamplable
Compiler

Compiled 97491 to 67156 computations (31.1% saved)

analyze6.2s (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.0s (0.8%)

Counts
939 → 18812
Calls

5076 calls:

TimeVariablePointExpression
93.0ms
x
@-inf
(pow.f64 (exp.f64 (pow.f64 x 3/2)) 10)
93.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
60.0ms
b
@inf
(+.f64 e (+.f64 c (+.f64 b a)))
57.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
40.0ms
i
@0
(-.f64 (log.f64 i) (log.f64 n))

end10.0ms (0%)

Profiling

Loading profile data...