Herbie run

Date:Saturday, January 20th, 2024
Commit:d8d592a2 on error-explanations-2
Hostname:nightly with Racket 8.6
Seed:2024020
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: 9.7min)

sample2.9min (29.5%)

Results
1.2min7893×body8192exit
1.1min372790×body256valid
13.5s72572×body256infinite
6.1s10677×body1024valid
3.5s4446×body512infinite
2.6s7126×body512valid
1.6s6589×body256unsamplable
1.5s1930×body2048valid
749.0ms1070×body4096valid
112.0ms72×body1024infinite
67.0ms512×body256invalid
Bogosity

localize1.5min (15.1%)

Compiler

Compiled 44281 to 24591 computations (44.5% saved)

soundness1.3min (13.8%)

Rules
218799×fma-def
118579×associate-*r*
110370×times-frac
105148×associate-*l*
102164×log-prod
Stop Event
10×unsound
17×saturated
331×node limit
Compiler

Compiled 34178 to 19777 computations (42.1% saved)

eval59.4s (10.2%)

Compiler

Compiled 2790789 to 1788915 computations (35.9% saved)

simplify41.9s (7.2%)

Algorithm
212×egg-herbie
Rules
107648×fma-def
76737×log-prod
70481×associate-*r*
65818×associate-*l*
63710×*-commutative
Stop Event
8×unsound
58×saturated
23×done
34×fuel
146×node limit
Counts
61540 → 53817
Compiler

Compiled 11542 to 7004 computations (39.3% saved)

rewrite32.2s (5.5%)

Algorithm
155×batch-egg-rewrite
Rules
92896×log1p-expm1-u
70641×expm1-log1p-u
52341×prod-diff
52325×expm1-udef
51674×log1p-udef
Stop Event
4×unsound
151×node limit
Counts
1224 → 39179

preprocess31.4s (5.4%)

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 47947 to 24880 computations (48.1% saved)

regimes29.8s (5.1%)

Counts
5959 → 765
Calls

130 calls:

4.4s
y.im
3.9s
y.re
3.0s
x.im
2.5s
x.re
1.8s
x
Compiler

Compiled 93936 to 53970 computations (42.5% saved)

prune22.1s (3.8%)

Counts
78488 → 2608
Compiler

Compiled 187624 to 132093 computations (29.6% saved)

bsearch13.0s (2.2%)

Algorithm
365×binary-search
41×left-value
Stop Event
354×narrow-enough
11×predicate-same
Results
7.9s33408×body256valid
2.1s2737×body512infinite
914.0ms4789×body256infinite
482.0ms741×body2048valid
333.0ms880×body512valid
226.0ms485×body1024valid
117.0ms199×body4096valid
27.0ms25×body1024infinite
Compiler

Compiled 88310 to 60643 computations (31.3% saved)

series8.8s (1.5%)

Counts
1224 → 22361
Calls

6177 calls:

TimeVariablePointExpression
244.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
134.0ms
im
@0
(pow.f64 (cbrt.f64 (*.f64 im (cos.f64 re))) 3)
100.0ms
i
@inf
(*.f64 (/.f64 i (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (/.f64 (*.f64 (fma.f64 i (+.f64 beta (+.f64 i alpha)) (*.f64 alpha beta)) (+.f64 beta (+.f64 i alpha))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
96.0ms
u1
@-inf
(pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 2)
94.0ms
base
@-inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))

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

end17.0ms (0%)

Profiling

Loading profile data...