Herbie run

Date:Thursday, September 28th, 2023
Commit:4fc72252 on main
Hostname:nightly with Racket 8.6
Seed:2023271
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.8min)

sample2.3min (29.9%)

Results
55.9s365977×body256valid
53.2s7873×body8192exit
9.6s64576×body256infinite
7.9s15931×body1024valid
4.3s7979×body1024infinite
2.7s8755×body512valid
1.4s3897×body512infinite
1.4s2272×body2048valid
701.0ms4561×body256invalid
580.0ms4491×body256unsamplable
541.0ms1065×body4096valid
147.0ms151×body2048infinite
Bogosity

localize1.3min (16.5%)

Compiler

Compiled 45670 to 24680 computations (46% saved)

soundness1.0min (13.1%)

Rules
274892×fma-def
159374×associate-*r*
150334×log-prod
145736×fma-neg
137240×associate-*l*
Stop Event
11×unsound
14×saturated
380×node limit
Compiler

Compiled 41822 to 26282 computations (37.2% saved)

eval53.3s (11.5%)

Compiler

Compiled 2723992 to 1628308 computations (40.2% saved)

simplify31.1s (6.7%)

Algorithm
222×egg-herbie
Rules
127392×fma-def
84530×log-prod
83356×associate-*r*
75722×fma-neg
75158×distribute-lft-in
Stop Event
3×unsound
57×saturated
21×done
36×fuel
162×node limit
Counts
61774 → 55121
Compiler

Compiled 12650 to 8108 computations (35.9% saved)

regimes27.5s (5.9%)

Counts
6554 → 916
Calls

132 calls:

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

Compiled 113086 to 70765 computations (37.4% saved)

prune22.0s (4.7%)

Counts
79750 → 2815
Compiler

Compiled 211023 to 147085 computations (30.3% saved)

rewrite19.2s (4.1%)

Algorithm
165×batch-egg-rewrite
Rules
102038×pow1
97466×add-exp-log
97242×log1p-expm1-u
97228×expm1-log1p-u
93696×add-log-exp
Stop Event
6×unsound
159×node limit
Counts
1277 → 37593

bsearch13.5s (2.9%)

Algorithm
497×binary-search
34×left-value
Stop Event
479×narrow-enough
18×predicate-same
Results
5.5s30968×body256valid
2.3s5240×body1024infinite
2.2s13667×body256infinite
980.0ms3078×body512infinite
892.0ms1935×body1024valid
405.0ms1454×body512valid
100.0ms237×body2048valid
59.0ms50×body2048infinite
11.0ms27×body4096valid
Compiler

Compiled 98920 to 70082 computations (29.2% saved)

preprocess12.1s (2.6%)

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 30053 to 16874 computations (43.9% saved)

series7.5s (1.6%)

Counts
1277 → 24181
Calls

6453 calls:

TimeVariablePointExpression
288.0ms
base
@-inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
271.0ms
x.im
@0
(exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.f64 (atan2.f64 x.im x.re) y.im)))
115.0ms
base
@-inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)))) 1)
115.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
112.0ms
y.im
@0
(sin.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))

analyze1.5s (0.3%)

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)

end10.0ms (0%)

Profiling

Loading profile data...