Herbie run

Date:Saturday, November 18th, 2023
Commit:fb1f2946 on main
Hostname:nightly with Racket 8.6
Seed:2023322
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: 8.8min)

sample2.5min (27.8%)

Results
1.0min365001×body256valid
52.5s7614×body8192exit
10.5s64904×body256infinite
8.2s16017×body1024valid
4.9s8447×body1024infinite
2.6s8863×body512valid
1.7s3861×body512infinite
1.4s2260×body2048valid
1.1s4586×body256invalid
705.0ms4499×body256unsamplable
631.0ms1105×body4096valid
155.0ms151×body2048infinite
Bogosity

localize1.5min (16.8%)

Compiler

Compiled 48316 to 28288 computations (41.5% saved)

soundness1.2min (13.9%)

Rules
207806×fma-def
141600×associate-*r*
111034×associate-*l*
103400×log-prod
94952×fma-neg
Stop Event
13×unsound
15×saturated
329×node limit
Compiler

Compiled 34006 to 19742 computations (41.9% saved)

eval1.1min (12.2%)

Compiler

Compiled 2997835 to 1969309 computations (34.3% saved)

simplify39.2s (7.4%)

Algorithm
220×egg-herbie
Rules
126330×fma-def
79582×log-prod
75928×associate-*r*
68300×*-commutative
63680×associate-*l*
Stop Event
6×unsound
57×saturated
20×done
37×fuel
157×node limit
Counts
66520 → 58804
Compiler

Compiled 10846 to 6792 computations (37.4% saved)

regimes27.1s (5.1%)

Counts
6747 → 784
Calls

130 calls:

3.9s
y.re
3.0s
y.im
1.9s
im
1.8s
x.re
1.7s
x.im
Compiler

Compiled 105693 to 59035 computations (44.1% saved)

prune25.4s (4.8%)

Counts
84169 → 2824
Compiler

Compiled 214811 to 151507 computations (29.5% saved)

rewrite24.0s (4.5%)

Algorithm
163×batch-egg-rewrite
Rules
98484×log1p-expm1-u
68707×expm1-log1p-u
61030×prod-diff
58108×expm1-udef
53664×log1p-udef
Stop Event
6×unsound
157×node limit
Counts
1319 → 41585

preprocess20.0s (3.8%)

Algorithm
57×egg-herbie
Rules
63808×fma-def
22196×distribute-lft-in
22062×fma-neg
21792×distribute-rgt-in
21548×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 34182 to 18130 computations (47% saved)

bsearch10.7s (2%)

Algorithm
371×binary-search
39×left-value
Stop Event
358×narrow-enough
13×predicate-same
Results
5.9s30745×body256valid
1.4s2104×body1024infinite
777.0ms4564×body256infinite
642.0ms1570×body1024valid
444.0ms637×body2048valid
250.0ms767×body512infinite
223.0ms610×body512valid
170.0ms340×body4096valid
94.0ms55×body2048infinite
Compiler

Compiled 75297 to 52543 computations (30.2% saved)

series7.5s (1.4%)

Counts
1319 → 24935
Calls

6750 calls:

TimeVariablePointExpression
235.0ms
y.re
@0
(*.f64 y.re (log.f64 (/.f64 -1 x.im)))
150.0ms
y.im
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)
128.0ms
beta
@0
(+.f64 (+.f64 1/16 (*.f64 1/16 (/.f64 (*.f64 2 beta) i))) (*.f64 -1/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 alpha beta) i))) 1)))
105.0ms
a
@-inf
(*.f64 (+.f64 a -1/3) (+.f64 1 (*.f64 (sqrt.f64 (/.f64 1/9 (+.f64 -1/3 a))) rand)))
105.0ms
x.re
@inf
(sin.f64 (+.f64 (*.f64 y.im (log.f64 x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

analyze1.7s (0.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.8%48.1%38.2%13.7%0%0%0%1
64.2%54.3%30.3%13.7%0%1.7%0%2
82%67.3%14.7%13.7%0%4.3%0%3
85.4%69.8%11.9%13.7%0%4.5%0%4
90%73.5%8.1%13.7%0%4.6%0%5
91.3%74.3%7.1%13.7%0%4.9%0%6
93.8%75.5%5%13.7%0%5.8%0%7
94.8%76.2%4.2%13.7%0%5.9%0%8
95.2%76.5%3.9%13.7%0%5.9%0%9
96.4%77.1%2.8%13.7%0%6.4%0%10
96.5%77.1%2.8%13.7%0%6.4%0%11
96.7%77.3%2.6%13.7%0%6.4%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end9.0ms (0%)

Profiling

Loading profile data...