Herbie run

Date:Thursday, November 16th, 2023
Commit:8ea339bb on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023320
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.1min)

sample1.3min (21%)

Results
40.2s269515×body256valid
17.4s14444×body2048valid
8.1s19415×body1024valid
5.3s31092×body256infinite
2.7s11119×body512valid
1.5s202×body8192exit
481.0ms780×body4096valid
276.0ms2741×body256invalid
123.0ms904×body256unsamplable
101.0ms164×body1024infinite
78.0ms206×body512infinite
19.0ms17×body2048infinite
Bogosity

eval1.1min (18.8%)

Compiler

Compiled 2629412 to 1756524 computations (33.2% saved)

localize55.2s (15.1%)

Compiler

Compiled 30532 to 18352 computations (39.9% saved)

soundness47.4s (12.9%)

Rules
149762×fma-def
92362×associate-*r*
75772×fma-neg
72254×associate-*l*
69690×times-frac
Stop Event
4×saturated
232×node limit
Compiler

Compiled 24135 to 14183 computations (41.2% saved)

simplify30.6s (8.4%)

Algorithm
162×egg-herbie
Rules
97408×fma-def
53440×associate-*r*
53192×log-prod
53160×fma-neg
52724×distribute-lft-in
Stop Event
15×done
42×saturated
27×fuel
120×node limit
Counts
49460 → 44607
Compiler

Compiled 10615 to 6693 computations (36.9% saved)

prune19.5s (5.3%)

Counts
73435 → 2035
Compiler

Compiled 136783 to 94853 computations (30.7% saved)

rewrite17.3s (4.7%)

Algorithm
120×batch-egg-rewrite
Rules
62650×log1p-expm1-u
51712×expm1-log1p-u
46924×prod-diff
38694×log-prod
37824×expm1-udef
Stop Event
120×node limit
Counts
844 → 33055

regimes16.8s (4.6%)

Counts
4228 → 561
Calls

94 calls:

1.8s
d
1.4s
c
1.3s
a
1.1s
b
1.1s
x1
Compiler

Compiled 80693 to 47845 computations (40.7% saved)

preprocess16.7s (4.6%)

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

Compiled 28268 to 16754 computations (40.7% saved)

bsearch8.1s (2.2%)

Algorithm
267×binary-search
37×left-value
Stop Event
251×narrow-enough
1×predicate-failed
15×predicate-same
Results
4.3s24427×body256valid
1.3s4889×body256infinite
809.0ms1239×body1024valid
458.0ms417×body2048valid
357.0ms973×body512valid
184.0ms1882×body256invalid
28.0ms86×body512infinite
15.0ms25×body1024infinite
2.0ms3×body2048infinite
2.0ms5×body4096valid
Compiler

Compiled 94441 to 64535 computations (31.7% saved)

analyze6.3s (1.7%)

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)

series2.5s (0.7%)

Counts
844 → 16405
Calls

4476 calls:

TimeVariablePointExpression
47.0ms
x
@inf
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
42.0ms
c
@inf
(+.f64 b (+.f64 (+.f64 (+.f64 c a) e) d))
35.0ms
t
@0
(pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2) 3/4) 2)
34.0ms
t
@0
(pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)
32.0ms
a
@0
(pow.f64 (*.f64 -4 (*.f64 a c)) 1/4)

end12.0ms (0%)

Profiling

Loading profile data...