Herbie run

Date:Monday, February 12th, 2024
Commit:158d752f on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024043
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.5min)

sample2.8min (26.9%)

Results
1.2min372409×256valid
13.3s73192×256infinite
5.9s10622×1024valid
1.2min7730×8192exit
2.5s7072×512valid
763.0ms4752×256unsamplable
3.7s4391×512infinite
1.3s1834×2048valid
582.0ms1032×4096valid
59.0ms519×256invalid
63.0ms61×1024infinite
Bogosity

localize1.8min (16.7%)

Compiler

Compiled 49329 to 28930 computations (41.4% saved)

soundness1.4min (13%)

Rules
173499×fma-define
133129×associate-*r*
133099×fma-neg
111749×associate-*l*
104674×log-prod
Stop Event
13×saturated
317×node limit
11×unsound
Compiler

Compiled 40276 to 24511 computations (39.1% saved)

eval1.3min (12.2%)

Compiler

Compiled 3487412 to 2327219 computations (33.3% saved)

simplify47.9s (7.6%)

Algorithm
219×egg-herbie
Rules
108244×fma-define
85747×fma-neg
76613×log-prod
72323×associate-*r*
68240×*-commutative
Stop Event
57×saturated
155×node limit
33×fuel
7×unsound
24×done
Counts
66433 → 60436
Compiler

Compiled 10615 to 6663 computations (37.2% saved)

preprocess36.1s (5.7%)

Algorithm
57×egg-herbie
Rules
51375×fma-neg
40847×fma-define
21621×distribute-lft-in
21336×unsub-neg
20835×distribute-lft-neg-in
Stop Event
21×saturated
36×node limit
Compiler

Compiled 45539 to 24862 computations (45.4% saved)

rewrite34.2s (5.4%)

Algorithm
162×batch-egg-rewrite
Rules
108623×log1p-expm1-u
78508×expm1-log1p-u
57452×prod-diff
46133×log-prod
44213×unpow-prod-down
Stop Event
156×node limit
6×unsound
Counts
1295 → 42153

regimes25.1s (4%)

Counts
5785 → 703
Calls

130 calls:

3.0s
y.re
2.8s
y.im
2.5s
x.re
2.2s
x.im
1.7s
x
Compiler

Compiled 6051 to 4080 computations (32.6% saved)

prune25.0s (4%)

Counts
88193 → 2790
Compiler

Compiled 142183 to 99659 computations (29.9% saved)

series14.3s (2.3%)

Counts
1295 → 24280
Calls

6609 calls:

TimeVariablePointExpression
166.0ms
x.im
@-inf
(sin.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re))) 3))
150.0ms
x.im
@inf
(*.f64 y.re (log.f64 (/.f64 -1 x.im)))
140.0ms
base
@inf
(exp.f64 (neg.f64 (log.f64 (log.f64 base))))
132.0ms
base
@inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
131.0ms
y.re
@-inf
(sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

bsearch10.0s (1.6%)

Algorithm
317×binary-search
35×left-value
Stop Event
16×predicate-same
301×narrow-enough
Results
6.1s28747×256valid
1.5s4532×256infinite
1.1s1396×512infinite
267.0ms658×512valid
119.0ms358×1024valid
185.0ms311×2048valid
57.0ms52×1024infinite
16.0ms26×4096valid
Compiler

Compiled 71411 to 48703 computations (31.8% saved)

analyze4.1s (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)

end44.0ms (0%)

Profiling

Loading profile data...