Herbie run

Date:Saturday, July 15th, 2023
Commit:6352d324 on result-filters
Hostname:nightly with Racket 8.6
Seed:2023196
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.2min)

sample2.3min (28.1%)

Results
56.1s366488×body256valid
52.4s7732×body8192exit
10.4s63981×body256infinite
7.1s15851×body1024valid
4.2s8108×body1024infinite
2.6s8932×body512valid
1.3s3765×body512infinite
1.2s2318×body2048valid
784.0ms4591×body256invalid
442.0ms4236×body256unsamplable
414.0ms1025×body4096valid
121.0ms129×body2048infinite
Bogosity

localize1.5min (18.4%)

Compiler

Compiled 54145 to 30829 computations (43.1% saved)

soundness1.1min (13.3%)

Rules
243800×fma-def
149794×associate-*r*
141118×log-prod
116872×associate-*l*
116622×fma-neg
Stop Event
13×unsound
20×saturated
381×node limit
Compiler

Compiled 42349 to 25157 computations (40.6% saved)

eval59.2s (12%)

Compiler

Compiled 3251423 to 1990653 computations (38.8% saved)

simplify36.0s (7.3%)

Algorithm
279×egg-herbie
Rules
167564×fma-def
85000×associate-*r*
82764×log-prod
81478×distribute-lft-in
79662×fma-neg
Stop Event
6×unsound
84×saturated
20×done
37×fuel
189×node limit
Counts
60502 → 54481
Compiler

Compiled 13798 to 8765 computations (36.5% saved)

regimes29.6s (6%)

Counts
7477 → 934
Calls

132 calls:

3.2s
im
3.2s
y.re
2.8s
x.re
2.3s
y.im
2.1s
x.im
Compiler

Compiled 129651 to 73035 computations (43.7% saved)

prune22.2s (4.5%)

Counts
86042 → 3106
Compiler

Compiled 234298 to 165221 computations (29.5% saved)

rewrite17.8s (3.6%)

Algorithm
165×batch-egg-rewrite
Rules
106548×pow1
101652×add-exp-log
101388×log1p-expm1-u
101374×expm1-log1p-u
97688×add-log-exp
Stop Event
3×unsound
162×node limit
Counts
1285 → 36344

bsearch12.8s (2.6%)

Algorithm
461×binary-search
58×left-value
Stop Event
440×narrow-enough
21×predicate-same
Results
5.2s33589×body256valid
2.0s4175×body1024infinite
1.7s10623×body256infinite
1.1s2619×body1024valid
773.0ms2590×body512infinite
624.0ms1417×body512valid
168.0ms446×body2048valid
84.0ms87×body2048infinite
38.0ms86×body4096valid
Compiler

Compiled 94733 to 66611 computations (29.7% saved)

series7.5s (1.5%)

Counts
1285 → 24101
Calls

6360 calls:

TimeVariablePointExpression
284.0ms
x
@inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
132.0ms
base
@inf
(log.f64 (pow.f64 base (/.f64 1 (log.f64 (hypot.f64 re im)))))
117.0ms
u1
@-inf
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))) 3)
100.0ms
y.re
@0
(*.f64 (log.f64 x.re) y.re)
91.0ms
y.im
@0
(-.f64 (*.f64 1/2 (/.f64 y.im (*.f64 (/.f64 x.re x.im) (/.f64 x.re x.im)))) (*.f64 y.im (neg.f64 (log.f64 x.re))))

end7.2s (1.5%)

Compiler

Compiled 29968 to 16226 computations (45.9% saved)

preprocess4.0s (0.8%)

Algorithm
114×egg-herbie
Rules
35032×fma-def
16312×associate-*r*
15382×sqr-pow
15088×distribute-lft-in
14640×distribute-rgt-in
Stop Event
70×saturated
14×unsound
30×node limit
Compiler

Compiled 1510 to 967 computations (36% saved)

analyze2.1s (0.4%)

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)

Profiling

Loading profile data...