Herbie run

Date:Saturday, December 9th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023343
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.6min)

sample2.3min (26.5%)

Results
59.1s371844×body256valid
51.3s7786×body8192exit
11.7s72647×body256infinite
5.6s10872×body1024valid
2.4s3406×body1024infinite
1.9s7064×body512valid
1.6s2286×body2048valid
904.0ms1264×body512infinite
566.0ms4606×body256unsamplable
530.0ms1102×body4096valid
180.0ms123×body2048infinite
54.0ms525×body256invalid
Bogosity

localize1.8min (21%)

Compiler

Compiled 49757 to 28441 computations (42.8% saved)

soundness1.1min (12.7%)

Rules
190626×fma-def
125460×associate-*r*
98476×log-prod
95808×distribute-lft-in
95526×associate-*l*
Stop Event
16×unsound
15×saturated
308×node limit
Compiler

Compiled 38372 to 23699 computations (38.2% saved)

eval1.1min (12.5%)

Compiler

Compiled 3151885 to 2051423 computations (34.9% saved)

simplify37.2s (7.2%)

Algorithm
217×egg-herbie
Rules
115004×fma-def
76858×associate-*r*
73500×log-prod
68310×*-commutative
64512×distribute-lft-in
Stop Event
6×unsound
57×saturated
21×done
36×fuel
154×node limit
Counts
61406 → 55243
Compiler

Compiled 10058 to 6489 computations (35.5% saved)

prune24.0s (4.6%)

Counts
81554 → 2868
Compiler

Compiled 225180 to 159009 computations (29.4% saved)

rewrite22.3s (4.3%)

Algorithm
160×batch-egg-rewrite
Rules
90417×log1p-expm1-u
70036×expm1-log1p-u
56766×prod-diff
50684×log-prod
49926×expm1-udef
Stop Event
5×unsound
155×node limit
Counts
1254 → 38653

regimes20.6s (4%)

Counts
5736 → 677
Calls

132 calls:

2.3s
y.im
1.8s
x.im
1.8s
y.re
1.7s
x.re
1.5s
x
Compiler

Compiled 99225 to 58173 computations (41.4% saved)

preprocess19.1s (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 40940 to 22672 computations (44.6% saved)

series8.7s (1.7%)

Counts
1254 → 22753
Calls

6288 calls:

TimeVariablePointExpression
184.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x -3) (pow.f64 x -2)))) 1)
113.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 base))
104.0ms
x
@0
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3275911/10000000 x))))
99.0ms
base
@0
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))
84.0ms
re
@0
(/.f64 (neg.f64 (atan2.f64 im re)) (log.f64 1/10))

bsearch6.4s (1.2%)

Algorithm
274×binary-search
51×left-value
Stop Event
267×narrow-enough
7×predicate-same
Results
4.0s24701×body256valid
760.0ms4373×body256infinite
361.0ms432×body1024infinite
201.0ms336×body2048valid
187.0ms359×body1024valid
106.0ms462×body512valid
80.0ms191×body512infinite
32.0ms73×body4096valid
21.0ms17×body2048infinite
Compiler

Compiled 58316 to 40787 computations (30.1% saved)

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)

end8.0ms (0%)

Profiling

Loading profile data...