Herbie run

Date:Saturday, January 6th, 2024
Commit:b16ab614 on platforms
Hostname:nightly with Racket 8.6
Seed:2024006
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: 11.0min)

sample2.5min (22.9%)

Results
1.1min371950×body256valid
59.9s7858×body8192exit
13.5s72753×body256infinite
5.2s10869×body1024valid
2.3s7009×body512valid
2.3s3240×body1024infinite
1.1s2197×body2048valid
741.0ms1304×body512infinite
492.0ms1131×body4096valid
443.0ms4262×body256unsamplable
143.0ms140×body2048infinite
54.0ms518×body256invalid
Bogosity

soundness1.9min (16.9%)

Rules
113446×associate-*r*
105793×*-commutative
104539×+-commutative
87658×associate-*l*
87027×associate-+r+
Stop Event
4×unsound
16×saturated
376×node limit
Compiler

Compiled 43661 to 27616 computations (36.7% saved)

eval1.6min (14.7%)

Compiler

Compiled 4348027 to 2812021 computations (35.3% saved)

localize1.5min (13.5%)

Compiler

Compiled 50225 to 28855 computations (42.5% saved)

simplify55.8s (8.5%)

Algorithm
222×egg-herbie
Rules
57086×associate-*r*
56118×*-commutative
55092×+-commutative
52001×associate-*l*
47765×associate-/l*
Stop Event
6×unsound
57×saturated
20×done
37×fuel
159×node limit
Counts
83967 → 76890
Compiler

Compiled 12448 to 7995 computations (35.8% saved)

rewrite38.6s (5.8%)

Algorithm
165×batch-egg-rewrite
Rules
34311×*-un-lft-identity
31064×associate-*r*
28541×associate-*r/
27943×add-sqr-sqrt
25935×*-commutative
Stop Event
4×unsound
161×node limit
Counts
1316 → 59709

prune36.1s (5.5%)

Counts
114560 → 2979
Compiler

Compiled 245000 to 175782 computations (28.3% saved)

regimes32.1s (4.9%)

Counts
7312 → 834
Calls

132 calls:

4.9s
y.re
2.7s
x.re
2.6s
beta
2.5s
y.im
2.1s
x.im
Compiler

Compiled 126031 to 76698 computations (39.1% saved)

preprocess23.5s (3.6%)

Algorithm
57×egg-herbie
Rules
21679×fma-def
15815×distribute-lft-in
14210×*-commutative
12790×+-commutative
11744×distribute-rgt-in
Stop Event
21×saturated
36×node limit
Compiler

Compiled 43690 to 24830 computations (43.2% saved)

bsearch12.0s (1.8%)

Algorithm
389×binary-search
47×left-value
Stop Event
375×narrow-enough
14×predicate-same
Results
6.6s33583×body256valid
1.7s1864×body1024infinite
1.2s6604×body256infinite
507.0ms862×body512infinite
478.0ms936×body1024valid
256.0ms367×body2048valid
118.0ms391×body512valid
100.0ms90×body2048infinite
44.0ms103×body4096valid
Compiler

Compiled 88566 to 61851 computations (30.2% saved)

series9.8s (1.5%)

Counts
1316 → 24258
Calls

6750 calls:

TimeVariablePointExpression
167.0ms
y.im
@0
(*.f64 y.im (log.f64 (/.f64 -1 x.im)))
150.0ms
y.im
@-inf
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 x.im y.re (*.f64 x.re (neg.f64 y.im)))) 2) (hypot.f64 y.re y.im))
147.0ms
x.re
@inf
(log1p.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))))
145.0ms
im
@inf
(pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1)
130.0ms
x
@-inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

analyze3.4s (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)

end22.0ms (0%)

Profiling

Loading profile data...