Herbie run

Date:Saturday, August 5th, 2023
Commit:55cd986f on add-odyssey-paper
Hostname:nightly with Racket 8.6
Seed:2023217
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: 7.9min)

sample2.4min (30.1%)

Results
57.5s365052×body256valid
55.1s7772×body8192exit
9.5s65290×body256infinite
8.3s16049×body1024valid
4.5s8347×body1024infinite
2.4s8665×body512valid
1.4s3779×body512infinite
1.1s2198×body2048valid
1.1s4616×body256invalid
735.0ms4952×body256unsamplable
475.0ms1097×body4096valid
141.0ms144×body2048infinite
Bogosity

localize1.3min (16.4%)

Compiler

Compiled 48660 to 27192 computations (44.1% saved)

soundness59.4s (12.5%)

Rules
241264×fma-def
136180×log-prod
123368×associate-*r*
114210×times-frac
105582×fma-neg
Stop Event
11×unsound
21×saturated
343×node limit
Compiler

Compiled 35452 to 20892 computations (41.1% saved)

eval57.8s (12.1%)

Compiler

Compiled 3161990 to 1888173 computations (40.3% saved)

simplify36.6s (7.7%)

Algorithm
279×egg-herbie
Rules
164298×fma-def
87830×associate-*r*
85646×times-frac
84162×fma-neg
81950×*-commutative
Stop Event
3×unsound
84×saturated
20×done
37×fuel
192×node limit
Counts
63895 → 57957
Compiler

Compiled 10957 to 6849 computations (37.5% saved)

regimes25.2s (5.3%)

Counts
6667 → 815
Calls

132 calls:

4.1s
y.im
2.4s
y.re
2.1s
im
1.7s
x.re
1.7s
x.im
Compiler

Compiled 114037 to 62550 computations (45.1% saved)

prune25.1s (5.3%)

Counts
85919 → 2978
Compiler

Compiled 219011 to 153893 computations (29.7% saved)

rewrite19.5s (4.1%)

Algorithm
165×batch-egg-rewrite
Rules
101902×pow1
97190×add-exp-log
96958×log1p-expm1-u
96938×expm1-log1p-u
93536×add-log-exp
Stop Event
3×unsound
162×node limit
Counts
1310 → 39098

bsearch11.1s (2.3%)

Algorithm
415×binary-search
26×left-value
Stop Event
398×narrow-enough
17×predicate-same
Results
5.1s29980×body256valid
1.5s9629×body256infinite
1.3s3185×body1024infinite
767.0ms1788×body1024valid
638.0ms1223×body512valid
599.0ms1668×body512infinite
255.0ms584×body2048valid
30.0ms74×body4096valid
13.0ms13×body2048infinite
Compiler

Compiled 80840 to 56738 computations (29.8% saved)

preprocess10.4s (2.2%)

Algorithm
57×egg-herbie
Rules
55988×fma-def
22788×fma-neg
19448×distribute-lft-in
18620×distribute-rgt-in
16356×sub-neg
Stop Event
23×saturated
34×node limit
Compiler

Compiled 26982 to 14639 computations (45.7% saved)

series7.9s (1.7%)

Counts
1310 → 24740
Calls

6654 calls:

TimeVariablePointExpression
91.0ms
y.re
@inf
(*.f64 (/.f64 y.im y.re) (/.f64 x.im y.re))
87.0ms
x
@0
(log1p.f64 (log.f64 (/.f64 x (log.f64 x))))
81.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -4))) 1)
81.0ms
re
@inf
(pow.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))) 3)
77.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)

analyze1.9s (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)

end10.0ms (0%)

Profiling

Loading profile data...