Herbie run

Date:Friday, February 9th, 2024
Commit:0d0ea017 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024040
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: 10.0min)

sample2.7min (27.5%)

Results
1.2min372508×body256valid
1.1min7536×body8192exit
12.9s72960×body256infinite
5.4s10493×body1024valid
3.7s4474×body512infinite
2.3s7147×body512valid
1.3s1851×body2048valid
666.0ms4227×body256unsamplable
583.0ms1063×body4096valid
101.0ms98×body1024infinite
57.0ms466×body256invalid
Bogosity

localize1.6min (16.1%)

Compiler

Compiled 48720 to 27223 computations (44.1% saved)

soundness1.4min (13.6%)

Rules
222825×fma-def
127355×associate-*r*
107106×*-commutative
100496×distribute-lft-in
100477×fma-neg
Stop Event
15×saturated
317×node limit
18×unsound
Compiler

Compiled 37460 to 22556 computations (39.8% saved)

eval1.2min (12.2%)

Compiler

Compiled 3382871 to 2179571 computations (35.6% saved)

simplify44.8s (7.5%)

Algorithm
220×egg-herbie
Rules
127124×fma-def
74607×associate-*r*
73222×log-prod
69247×*-commutative
62045×distribute-lft-in
Stop Event
57×saturated
157×node limit
35×fuel
6×unsound
22×done
Counts
62953 → 56602
Compiler

Compiled 10584 to 6678 computations (36.9% saved)

regimes34.2s (5.7%)

Counts
7035 → 767
Calls

132 calls:

4.8s
y.re
4.0s
y.im
3.1s
x.re
2.9s
x.im
2.4s
im
Compiler

Compiled 118997 to 64240 computations (46% saved)

rewrite31.9s (5.3%)

Algorithm
163×batch-egg-rewrite
Rules
92576×log1p-expm1-u
72296×expm1-log1p-u
55321×expm1-udef
50930×log1p-udef
50459×log-prod
Stop Event
157×node limit
6×unsound
Counts
1238 → 39923

prune24.7s (4.1%)

Counts
85183 → 2787
Compiler

Compiled 210962 to 149713 computations (29% saved)

preprocess22.9s (3.8%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 41022 to 22609 computations (44.9% saved)

bsearch10.7s (1.8%)

Algorithm
353×binary-search
40×left-value
Stop Event
17×predicate-same
336×narrow-enough
Results
6.4s31491×body256valid
1.5s1585×body512infinite
1.2s5050×body256infinite
178.0ms364×body512valid
118.0ms303×body1024valid
102.0ms102×body4096valid
82.0ms208×body2048valid
71.0ms65×body1024infinite
Compiler

Compiled 73366 to 50361 computations (31.4% saved)

series10.4s (1.7%)

Counts
1238 → 23030
Calls

6288 calls:

TimeVariablePointExpression
206.0ms
y.im
@0
(*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))
172.0ms
y.im
@inf
(pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))
165.0ms
im
@0
(log1p.f64 (/.f64 (log.f64 im) (log.f64 base)))
141.0ms
x.re
@0
(cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 (atan2.f64 x.im x.re) y.re))))
141.0ms
base
@inf
(exp.f64 (neg.f64 (log.f64 (log.f64 base))))

analyze3.5s (0.6%)

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 1007 computations (35.4% saved)

end16.0ms (0%)

Profiling

Loading profile data...