Herbie run

Date:Thursday, July 27th, 2023
Commit:7791686b on docs-link-fix
Hostname:nightly with Racket 8.6
Seed:2023208
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.3min)

sample2.4min (28.8%)

Results
58.0s365191×body256valid
54.4s7827×body8192exit
9.9s64796×body256infinite
7.3s16094×body1024valid
4.4s8469×body1024infinite
2.5s8791×body512valid
1.4s2308×body2048valid
1.4s3841×body512infinite
1.1s5801×body256unsamplable
869.0ms4590×body256invalid
399.0ms1018×body4096valid
191.0ms145×body2048infinite
Bogosity

localize1.3min (16.2%)

Compiler

Compiled 45772 to 25357 computations (44.6% saved)

soundness1.2min (14.4%)

Rules
254496×fma-def
155030×associate-*r*
145692×fma-neg
126540×log-prod
118630×*-commutative
Stop Event
10×unsound
21×saturated
375×node limit
Compiler

Compiled 40913 to 24789 computations (39.4% saved)

eval58.5s (11.8%)

Compiler

Compiled 3080447 to 1899612 computations (38.3% saved)

simplify37.9s (7.6%)

Algorithm
276×egg-herbie
Rules
161554×fma-def
91646×associate-*r*
83076×fma-neg
82710×log-prod
78092×*-commutative
Stop Event
4×unsound
84×saturated
20×done
37×fuel
188×node limit
Counts
62866 → 56273
Compiler

Compiled 12728 to 7727 computations (39.3% saved)

regimes28.7s (5.8%)

Counts
6866 → 873
Calls

132 calls:

3.8s
y.im
3.1s
y.re
2.6s
x.im
2.6s
im
2.0s
x.re
Compiler

Compiled 108503 to 61218 computations (43.6% saved)

prune21.3s (4.3%)

Counts
79361 → 3016
Compiler

Compiled 198774 to 139387 computations (29.9% saved)

rewrite18.6s (3.8%)

Algorithm
162×batch-egg-rewrite
Rules
102350×pow1
97672×add-exp-log
97402×log1p-expm1-u
97382×expm1-log1p-u
95378×add-log-exp
Stop Event
4×unsound
158×node limit
Counts
1328 → 37402

bsearch13.7s (2.8%)

Algorithm
430×binary-search
48×left-value
Stop Event
413×narrow-enough
17×predicate-same
Results
6.3s33350×body256valid
2.5s4561×body1024infinite
1.3s7707×body256infinite
979.0ms2297×body1024valid
639.0ms1883×body512infinite
444.0ms1389×body512valid
303.0ms483×body2048valid
214.0ms210×body2048infinite
42.0ms8×body4096valid
Compiler

Compiled 92840 to 64581 computations (30.4% saved)

preprocess12.1s (2.4%)

Algorithm
57×egg-herbie
Rules
55988×fma-def
22788×fma-neg
19448×distribute-lft-in
18620×distribute-rgt-in
16356×sub-neg
Stop Event
23×saturated
34×node limit
Compiler

Compiled 30460 to 16009 computations (47.4% saved)

series8.9s (1.8%)

Counts
1328 → 25407
Calls

6750 calls:

TimeVariablePointExpression
188.0ms
base
@-inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
175.0ms
im
@inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
136.0ms
u1
@-inf
(pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 2)
120.0ms
x.im
@0
(*.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (pow.f64 x.re y.re))
115.0ms
im
@-inf
(log.f64 (sqrt.f64 (pow.f64 im (/.f64 1 (log.f64 base)))))

analyze1.9s (0.4%)

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...