Herbie run

Date:Thursday, September 14th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023257
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.4min)

sample1.4min (32.3%)

Results
30.5s33209×body2048valid
27.3s62459×body1024valid
11.6s86991×body256valid
9.8s32909×body512valid
1.5s13170×body256infinite
1.2s2072×body4096valid
1.0s7571×body256unsamplable
1.0s1116×body1024invalid
561.0ms5105×body256invalid
297.0ms597×body512invalid
223.0ms451×body1024unsamplable
185.0ms287×body2048unsamplable
154.0ms170×body1024infinite
110.0ms185×body512infinite
66.0ms246×body512unsamplable
7.0ms6×body2048invalid
4.0ms1×body8192valid
1.0ms2×body2048infinite
Bogosity

soundness37.4s (14%)

Rules
142802×fma-def
89788×fma-neg
78190×associate-*r*
75458×log-prod
74134×times-frac
Stop Event
3×unsound
8×saturated
219×node limit
Compiler

Compiled 21289 to 12979 computations (39% saved)

localize36.6s (13.7%)

Compiler

Compiled 12864 to 6499 computations (49.5% saved)

eval28.4s (10.6%)

Compiler

Compiled 1301295 to 764270 computations (41.3% saved)

simplify18.8s (7%)

Algorithm
146×egg-herbie
Rules
97912×fma-def
55938×fma-neg
52394×associate-*r*
45636×associate-*l*
45522×log-prod
Stop Event
2×unsound
5×done
47×saturated
23×fuel
97×node limit
Counts
34905 → 34164
Compiler

Compiled 5434 to 3651 computations (32.8% saved)

regimes16.0s (6%)

Counts
4900 → 390
Calls

43 calls:

3.4s
x
2.8s
eps
1.9s
n
1.3s
c
896.0ms
b
Compiler

Compiled 59351 to 33092 computations (44.2% saved)

prune13.8s (5.2%)

Counts
53952 → 2374
Compiler

Compiled 124191 to 86147 computations (30.6% saved)

rewrite10.2s (3.8%)

Algorithm
90×batch-egg-rewrite
Rules
57322×pow1
54316×add-exp-log
54304×log1p-expm1-u
54270×expm1-log1p-u
50760×add-log-exp
Stop Event
90×node limit
Counts
720 → 24238

bsearch7.4s (2.8%)

Algorithm
174×binary-search
31×left-value
Stop Event
171×narrow-enough
3×predicate-same
Results
2.4s13419×body256valid
2.1s3677×body1024valid
1.1s2906×body512valid
575.0ms879×body2048valid
315.0ms1661×body256invalid
299.0ms989×body256infinite
38.0ms39×body1024infinite
12.0ms24×body512infinite
4.0ms18×body256unsamplable
1.0ms3×body4096valid
Compiler

Compiled 47013 to 33303 computations (29.2% saved)

preprocess6.4s (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 12304 to 7451 computations (39.4% saved)

analyze3.0s (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)

series2.8s (1%)

Counts
720 → 10639
Calls

3261 calls:

TimeVariablePointExpression
65.0ms
c
@0
(cbrt.f64 (*.f64 (*.f64 (*.f64 (/.f64 -1/2 a) (*.f64 (/.f64 c (/.f64 b a)) 2)) (*.f64 (/.f64 -1/2 a) (*.f64 (/.f64 c (/.f64 b a)) 2))) (*.f64 (/.f64 -1/2 a) (*.f64 (/.f64 c (/.f64 b a)) 2))))
49.0ms
x
@0
(*.f64 (sqrt.f64 (+.f64 1 x)) (pow.f64 (+.f64 1 x) 1/6))
48.0ms
x
@-inf
(log.f64 (*.f64 n x))
46.0ms
x
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 9/40 (*.f64 x x)))) 1)
43.0ms
a
@inf
(sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))

end5.0ms (0%)

Profiling

Loading profile data...