Herbie run

Date:Wednesday, November 29th, 2023
Commit:1dabe179 on main
Hostname:nightly with Racket 8.6
Seed:2023333
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.4min)

sample2.3min (27.2%)

Results
59.5s372863×body256valid
52.5s7828×body8192exit
11.4s71999×body256infinite
5.1s11074×body1024valid
2.6s3291×body1024infinite
1.9s6850×body512valid
1.2s2198×body2048valid
1.1s5842×body256unsamplable
569.0ms1140×body512infinite
538.0ms1101×body4096valid
164.0ms137×body2048infinite
55.0ms526×body256invalid
Bogosity

localize1.4min (16.3%)

Compiler

Compiled 47889 to 28347 computations (40.8% saved)

soundness1.1min (13.6%)

Rules
218636×fma-def
138752×associate-*r*
108344×fma-neg
104264×associate-*l*
97014×log-prod
Stop Event
18×unsound
15×saturated
325×node limit
Compiler

Compiled 41812 to 27091 computations (35.2% saved)

eval1.1min (13.4%)

Compiler

Compiled 3229166 to 2097583 computations (35% saved)

simplify39.1s (7.7%)

Algorithm
222×egg-herbie
Rules
117644×fma-def
79876×associate-*r*
76638×log-prod
73540×fma-neg
70406×*-commutative
Stop Event
5×unsound
57×saturated
21×done
36×fuel
160×node limit
Counts
61967 → 57121
Compiler

Compiled 10581 to 6926 computations (34.5% saved)

regimes25.0s (4.9%)

Counts
6165 → 756
Calls

132 calls:

3.3s
y.im
2.2s
im
2.2s
y.re
2.0s
x.im
1.5s
x.re
Compiler

Compiled 105552 to 67775 computations (35.8% saved)

rewrite23.0s (4.6%)

Algorithm
165×batch-egg-rewrite
Rules
94843×log1p-expm1-u
79359×expm1-log1p-u
52128×expm1-udef
51266×log-prod
50168×log1p-udef
Stop Event
7×unsound
158×node limit
Counts
1248 → 39148

prune22.6s (4.5%)

Counts
83430 → 2742
Compiler

Compiled 196314 to 141257 computations (28% saved)

preprocess18.9s (3.7%)

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 33538 to 18262 computations (45.5% saved)

bsearch8.8s (1.7%)

Algorithm
337×binary-search
49×left-value
Stop Event
323×narrow-enough
14×predicate-same
Results
4.8s28491×body256valid
1.4s8435×body256infinite
735.0ms980×body1024infinite
243.0ms427×body512infinite
197.0ms438×body2048valid
120.0ms333×body1024valid
62.0ms131×body4096valid
45.0ms210×body512valid
26.0ms27×body2048infinite
Compiler

Compiled 74054 to 51920 computations (29.9% saved)

series8.6s (1.7%)

Counts
1248 → 22819
Calls

6264 calls:

TimeVariablePointExpression
203.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
152.0ms
x.im
@0
(sin.f64 (+.f64 (*.f64 (log.f64 x.re) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
149.0ms
y.im
@-inf
(pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))
122.0ms
x.re
@0
(sqrt.f64 (*.f64 (sqrt.f64 x.re) (*.f64 x.im (sqrt.f64 3))))
117.0ms
im
@-inf
(/.f64 1 (log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re)))))

analyze2.5s (0.5%)

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 994 computations (36.2% saved)

end9.0ms (0%)

Profiling

Loading profile data...