Herbie run

Date:Wednesday, January 10th, 2024
Commit:3465769b on main
Hostname:nightly with Racket 8.6
Seed:2024010
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.7min (30.4%)

Results
1.1min372537×body256valid
1.1min7578×body8192exit
12.9s72715×body256infinite
5.2s10437×body1024valid
3.6s4709×body512infinite
2.7s7218×body512valid
1.0s1880×body2048valid
573.0ms4141×body256unsamplable
561.0ms999×body4096valid
114.0ms100×body1024infinite
99.0ms512×body256invalid
Bogosity

localize1.4min (16.1%)

Compiler

Compiled 45554 to 26248 computations (42.4% saved)

soundness1.1min (13%)

Rules
213842×fma-def
141302×associate-*r*
111312×associate-*l*
109358×log-prod
105818×fma-neg
Stop Event
13×unsound
16×saturated
330×node limit
Compiler

Compiled 34194 to 20738 computations (39.4% saved)

eval58.5s (11.1%)

Compiler

Compiled 2783577 to 1822510 computations (34.5% saved)

simplify37.8s (7.2%)

Algorithm
225×egg-herbie
Rules
118896×fma-def
84488×log-prod
79234×associate-*r*
68618×associate-*l*
66574×fma-neg
Stop Event
8×unsound
57×saturated
18×done
39×fuel
160×node limit
Counts
64939 → 56461
Compiler

Compiled 10869 to 6734 computations (38% saved)

regimes27.5s (5.2%)

Counts
6455 → 789
Calls

132 calls:

4.3s
y.im
3.0s
x.im
2.9s
y.re
2.2s
x.re
1.7s
im
Compiler

Compiled 93148 to 54147 computations (41.9% saved)

rewrite24.2s (4.6%)

Algorithm
168×batch-egg-rewrite
Rules
109892×log1p-expm1-u
78668×expm1-log1p-u
60300×expm1-udef
57878×log1p-udef
50830×prod-diff
Stop Event
6×unsound
162×node limit
Counts
1294 → 41274

prune22.5s (4.3%)

Counts
82851 → 2796
Compiler

Compiled 192689 to 137618 computations (28.6% saved)

preprocess20.1s (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 42784 to 23447 computations (45.2% saved)

bsearch10.4s (2%)

Algorithm
367×binary-search
44×left-value
Stop Event
355×narrow-enough
12×predicate-same
Results
6.4s32550×body256valid
1.4s6207×body256infinite
883.0ms1157×body512infinite
342.0ms579×body2048valid
220.0ms683×body512valid
115.0ms430×body1024valid
74.0ms152×body4096valid
19.0ms18×body1024infinite
Compiler

Compiled 77593 to 53533 computations (31% saved)

series8.6s (1.6%)

Counts
1294 → 23665
Calls

6393 calls:

TimeVariablePointExpression
335.0ms
x
@0
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x 564193179035109/500000000000000))))
197.0ms
re
@-inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
122.0ms
base
@-inf
(log.f64 (pow.f64 base (/.f64 1 (log.f64 im))))
111.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 base))
102.0ms
x.re
@0
(sin.f64 (+.f64 (*.f64 y.im (log.f64 x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))

analyze3.5s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 1007 computations (35.4% saved)

end8.0ms (0%)

Profiling

Loading profile data...