Herbie run

Date:Wednesday, January 31st, 2024
Commit:92b4fbd0 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 10.0min)

sample2.8min (28%)

Results
1.2min373357×256valid
13.1s72006×256infinite
5.6s10593×1024valid
1.2min7873×8192exit
2.7s7167×512valid
782.0ms4788×256unsamplable
3.6s4509×512infinite
1.0s1835×2048valid
548.0ms1053×4096valid
73.0ms568×256invalid
257.0ms92×1024infinite
Bogosity

localize1.6min (16.2%)

Compiler

Compiled 46385 to 26844 computations (42.1% saved)

soundness1.3min (13.3%)

Rules
223723×fma-def
123541×associate-*r*
104175×fma-neg
103804×log-prod
95328×associate-*l*
Stop Event
17×saturated
323×node limit
18×unsound
Compiler

Compiled 38668 to 23654 computations (38.8% saved)

eval1.2min (12.2%)

Compiler

Compiled 3158069 to 2059732 computations (34.8% saved)

simplify43.1s (7.2%)

Algorithm
219×egg-herbie
Rules
115221×fma-def
76238×log-prod
74413×associate-*r*
68053×fma-neg
64263×times-frac
Stop Event
57×saturated
156×node limit
31×fuel
6×unsound
26×done
Counts
63008 → 55052
Compiler

Compiled 10487 to 6813 computations (35% saved)

rewrite33.1s (5.5%)

Algorithm
162×batch-egg-rewrite
Rules
94385×log1p-expm1-u
74080×expm1-log1p-u
53999×expm1-udef
51819×log-prod
51177×log1p-udef
Stop Event
154×node limit
8×unsound
Counts
1246 → 40032

preprocess32.5s (5.4%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 45395 to 24814 computations (45.3% saved)

regimes25.1s (4.2%)

Counts
6001 → 756
Calls

132 calls:

3.4s
y.re
2.6s
y.im
2.5s
im
2.2s
x.re
1.8s
x.im
Compiler

Compiled 6095 to 4181 computations (31.4% saved)

prune22.6s (3.8%)

Counts
84466 → 2876
Compiler

Compiled 139892 to 99662 computations (28.8% saved)

bsearch10.8s (1.8%)

Algorithm
350×binary-search
39×left-value
Stop Event
10×predicate-same
340×narrow-enough
Results
6.0s27538×256valid
1.7s8565×256infinite
1.1s1150×512infinite
372.0ms696×1024valid
192.0ms671×512valid
422.0ms628×2048valid
60.0ms119×4096valid
166.0ms57×1024infinite
Compiler

Compiled 69980 to 49389 computations (29.4% saved)

series10.6s (1.8%)

Counts
1246 → 22976
Calls

6198 calls:

TimeVariablePointExpression
290.0ms
im
@-inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
183.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
136.0ms
im
@inf
(log.f64 (pow.f64 im (/.f64 -1 (log.f64 1/10))))
114.0ms
beta
@0
(/.f64 (*.f64 i alpha) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
111.0ms
re
@-inf
(*.f64 (*.f64 1/2 (sin.f64 re)) (fma.f64 im im 2))

analyze3.7s (0.6%)

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)

end16.0ms (0%)

Profiling

Loading profile data...