Herbie run

Date:Friday, October 20th, 2023
Commit:21d611eb on main
Hostname:nightly with Racket 8.6
Seed:2023293
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.3min (28.9%)

Results
55.8s365274×body256valid
51.2s7777×body8192exit
9.8s64590×body256infinite
7.7s16454×body1024valid
4.0s8182×body1024infinite
2.4s8820×body512valid
1.5s3735×body512infinite
1.3s2316×body2048valid
844.0ms4478×body256invalid
689.0ms4848×body256unsamplable
451.0ms1110×body4096valid
169.0ms132×body2048infinite
Bogosity

localize1.4min (18.4%)

Compiler

Compiled 46404 to 25200 computations (45.7% saved)

soundness1.0min (12.7%)

Rules
277630×fma-def
152022×associate-*r*
133332×associate-*l*
132100×log-prod
126320×associate-+r+
Stop Event
11×unsound
15×saturated
368×node limit
Compiler

Compiled 43200 to 25208 computations (41.6% saved)

eval51.4s (10.9%)

Compiler

Compiled 2727132 to 1586468 computations (41.8% saved)

simplify30.9s (6.5%)

Algorithm
225×egg-herbie
Rules
136240×fma-def
82626×log-prod
79264×associate-*r*
69768×associate-*l*
67676×distribute-lft-in
Stop Event
5×unsound
57×saturated
20×done
37×fuel
163×node limit
Counts
60094 → 52864
Compiler

Compiled 12281 to 7578 computations (38.3% saved)

regimes28.1s (5.9%)

Counts
6884 → 896
Calls

132 calls:

4.0s
y.re
2.7s
im
2.4s
x.re
2.1s
x.im
2.0s
y.im
Compiler

Compiled 115929 to 70050 computations (39.6% saved)

prune21.4s (4.5%)

Counts
85107 → 2843
Compiler

Compiled 203210 to 141716 computations (30.3% saved)

preprocess18.9s (4%)

Algorithm
57×egg-herbie
Rules
62588×fma-def
24052×fma-neg
20432×distribute-lft-in
19572×distribute-rgt-in
18676×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 35764 to 18388 computations (48.6% saved)

rewrite18.1s (3.8%)

Algorithm
168×batch-egg-rewrite
Rules
108634×pow1
103730×add-exp-log
103480×log1p-expm1-u
103460×expm1-log1p-u
101394×add-log-exp
Stop Event
5×unsound
163×node limit
Counts
1247 → 36823

bsearch11.7s (2.5%)

Algorithm
456×binary-search
45×left-value
Stop Event
439×narrow-enough
17×predicate-same
Results
6.3s38263×body256valid
1.5s8873×body256infinite
1.3s2571×body1024infinite
828.0ms1822×body1024valid
313.0ms1017×body512infinite
283.0ms1034×body512valid
85.0ms216×body2048valid
57.0ms55×body2048infinite
34.0ms85×body4096valid
Compiler

Compiled 99901 to 67719 computations (32.2% saved)

series7.4s (1.6%)

Counts
1247 → 23271
Calls

6177 calls:

TimeVariablePointExpression
172.0ms
base
@inf
(pow.f64 (pow.f64 (log.f64 base) -1/2) 2)
117.0ms
im
@-inf
(log1p.f64 (/.f64 (log.f64 base) (atan2.f64 im re)))
116.0ms
x.re
@inf
(log.f64 (*.f64 y.im (atan2.f64 x.im x.re)))
102.0ms
x
@inf
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -5))))
81.0ms
y.re
@0
(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)

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

end9.0ms (0%)

Profiling

Loading profile data...