Herbie run

Date:Saturday, July 1st, 2023
Commit:1e3c827b on main
Hostname:nightly with Racket 8.6
Seed:2023182
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.3min)

sample1.3min (24.3%)

Results
40.0s269609×body256valid
17.2s14476×body2048valid
8.6s19369×body1024valid
5.1s30950×body256infinite
3.0s11164×body512valid
1.3s202×body8192exit
510.0ms797×body4096valid
297.0ms2528×body256invalid
219.0ms980×body256unsamplable
116.0ms191×body512infinite
108.0ms175×body1024infinite
20.0ms21×body2048infinite
Bogosity

soundness50.1s (15.9%)

Rules
209044×fma-def
125530×associate-*r*
119120×log-prod
104380×times-frac
102782×fma-neg
Stop Event
5×saturated
299×node limit
Compiler

Compiled 28211 to 17087 computations (39.4% saved)

localize47.7s (15.1%)

Compiler

Compiled 29231 to 16141 computations (44.8% saved)

eval37.2s (11.8%)

Compiler

Compiled 1790548 to 1094117 computations (38.9% saved)

simplify28.0s (8.8%)

Algorithm
212×egg-herbie
Rules
154842×fma-def
77870×associate-*r*
75860×fma-neg
69798×distribute-lft-in
67728×associate-*l*
Stop Event
16×done
58×saturated
26×fuel
154×node limit
Counts
47891 → 43198
Compiler

Compiled 8194 to 5270 computations (35.7% saved)

regimes17.7s (5.6%)

Counts
4460 → 562
Calls

94 calls:

1.7s
x1
1.6s
c
1.5s
a
1.4s
x
1.2s
d
Compiler

Compiled 68298 to 39492 computations (42.2% saved)

prune16.4s (5.2%)

Counts
58793 → 2119
Compiler

Compiled 117726 to 79404 computations (32.6% saved)

rewrite14.6s (4.6%)

Algorithm
128×batch-egg-rewrite
Rules
84742×pow1
80376×add-exp-log
80318×log1p-expm1-u
80304×expm1-log1p-u
76898×add-log-exp
Stop Event
128×node limit
Counts
935 → 28998

bsearch9.5s (3%)

Algorithm
274×binary-search
20×left-value
Stop Event
259×narrow-enough
15×predicate-same
Results
4.9s24849×body256valid
2.0s4875×body256infinite
832.0ms1886×body1024valid
713.0ms1550×body512valid
177.0ms242×body2048valid
167.0ms1875×body256invalid
29.0ms57×body1024infinite
8.0ms29×body512infinite
5.0ms36×body256unsamplable
Compiler

Compiled 70086 to 48782 computations (30.4% saved)

analyze6.3s (2%)

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)

end5.6s (1.8%)

Compiler

Compiled 18190 to 10490 computations (42.3% saved)

preprocess3.2s (1%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series3.1s (1%)

Counts
935 → 18851
Calls

5016 calls:

TimeVariablePointExpression
200.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
73.0ms
a
@inf
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
62.0ms
c
@0
(/.f64 (/.f64 -2 (/.f64 (/.f64 b (*.f64 (cbrt.f64 c) a)) (pow.f64 (cbrt.f64 c) 2))) (*.f64 a 2))
47.0ms
x
@inf
(/.f64 1 (-.f64 1 (*.f64 x x)))
47.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)

Profiling

Loading profile data...