Herbie run

Date:Friday, September 29th, 2023
Commit:9515c601 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023272
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

Details

Time bar (total: 12.8min)

sample4.2min (32.8%)

Results
1.1min308066×body256valid
57.9s211101×body256precondition
35.9s32716×body8192exit
16.8s89189×body256invalid
14.4s32624×body1024valid
13.3s23560×body2048valid
12.6s57010×body256infinite
10.9s11501×body1024infinite
7.3s21622×body512valid
6.8s16336×body512infinite
4.9s7010×body4096valid
1.2s1115×body2048infinite
12.0ms4×body8192valid
Bogosity

localize3.0min (23.3%)

Compiler

Compiled 55298 to 31856 computations (42.4% saved)

soundness1.2min (9.2%)

Rules
267496×fma-def
162940×associate-*r*
148274×log-prod
130840×associate-*l*
125822×fma-neg
Stop Event
9×unsound
18×saturated
382×node limit
Compiler

Compiled 46456 to 29624 computations (36.2% saved)

eval1.2min (9.1%)

Compiler

Compiled 3213218 to 2019013 computations (37.2% saved)

analyze45.4s (5.9%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.6%1.4%0%0%0%0
2.7%5.2%186.8%-92%0%0%0%1
5.2%19%346%-265%0%0%0%2
16.2%101.6%526.6%-528.3%0%0%0%3
12.8%143%970.6%-1013.5%0%0%0%4
11.3%225.5%1775.7%-1901.3%0%0%0%5
6%225.5%3551.1%-3676.7%0%0%0%6
3.1%225.5%7101.5%-7227%0%0%0%7
1.6%225.5%14201.5%-14327%0%0%0%8
0.8%225.5%28400.1%-28525.6%0%0%0%9
0.4%225.5%56794.5%-56920%0%0%0%10
0.2%225.5%113577.5%-113703.1%0%0%0%11
0.1%225.5%227132.5%-227258.1%0%0%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

simplify41.1s (5.4%)

Algorithm
283×egg-herbie
Rules
176344×fma-def
93350×associate-*r*
88016×fma-neg
81962×distribute-lft-in
81226×log-prod
Stop Event
1×unsound
85×saturated
22×done
36×fuel
197×node limit
Counts
58960 → 54146
Compiler

Compiled 12981 to 8472 computations (34.7% saved)

regimes29.2s (3.8%)

Counts
7033 → 939
Calls

134 calls:

3.6s
im
2.9s
re
2.4s
y.im
2.0s
x.re
1.9s
x.im
Compiler

Compiled 114164 to 70888 computations (37.9% saved)

prune26.2s (3.4%)

Counts
85568 → 3141
Compiler

Compiled 230932 to 164659 computations (28.7% saved)

rewrite20.2s (2.6%)

Algorithm
167×batch-egg-rewrite
Rules
110006×pow1
104996×add-exp-log
104734×log1p-expm1-u
104724×expm1-log1p-u
101008×add-log-exp
Stop Event
5×unsound
162×node limit
Counts
1230 → 36027

bsearch13.8s (1.8%)

Algorithm
487×binary-search
32×left-value
Stop Event
468×narrow-enough
19×predicate-same
Results
6.3s35069×body256valid
2.5s14175×body256infinite
904.0ms2121×body1024valid
800.0ms3089×body512infinite
746.0ms2444×body512valid
488.0ms898×body2048valid
335.0ms718×body1024infinite
99.0ms228×body4096valid
65.0ms106×body2048infinite
Compiler

Compiled 99125 to 71681 computations (27.7% saved)

end8.6s (1.1%)

Compiler

Compiled 28586 to 16188 computations (43.4% saved)

series7.8s (1%)

Counts
1230 → 22875
Calls

6042 calls:

TimeVariablePointExpression
296.0ms
u1
@0
(*.f64 (/.f64 1 6) (pow.f64 (*.f64 -2 (log.f64 u1)) 1/2))
273.0ms
y.re
@-inf
(log.f64 (pow.f64 (hypot.f64 x.re x.im) y.re))
190.0ms
x
@-inf
(+.f32 (log.f32 2) (log.f32 x))
172.0ms
x.re
@inf
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
108.0ms
y.im
@0
(*.f64 (log.f64 (neg.f64 x.im)) y.im)

preprocess4.4s (0.6%)

Algorithm
116×egg-herbie
Rules
36414×fma-def
16548×associate-*r*
15412×distribute-lft-in
15404×sqr-pow
14974×distribute-rgt-in
Stop Event
71×saturated
14×unsound
31×node limit
Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Profiling

Loading profile data...