Herbie run

Date:Thursday, February 15th, 2024
Commit:aa763581 on add-id-expand-rule
Hostname:nightly with Racket 8.11.1
Seed:2024046
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: 7.9min)

sample1.4min (18.4%)

Results
47.2s270561×256valid
6.1s30924×256infinite
9.1s19332×1024valid
16.8s13692×2048valid
3.3s11085×512valid
261.0ms2211×256invalid
2.9s2166×8192exit
170.0ms934×256unsamplable
474.0ms777×4096valid
129.0ms200×512infinite
235.0ms159×1024infinite
29.0ms22×2048infinite
Bogosity

eval1.4min (17.3%)

Compiler

Compiled 3190702 to 2188583 computations (31.4% saved)

localize1.2min (14.8%)

Compiler

Compiled 30434 to 17779 computations (41.6% saved)

soundness1.1min (14.4%)

Rules
143708×add0
127032×fma-define
115918×fma-neg
96182×distribute-rgt-in
86002×distribute-lft-in
Stop Event
4×saturated
247×node limit
Compiler

Compiled 26162 to 15555 computations (40.5% saved)

simplify42.3s (9%)

Algorithm
166×egg-herbie
Rules
115370×add0
74276×fma-define
61872×distribute-lft-in
61268×distribute-rgt-in
54890×+-commutative
Stop Event
42×saturated
122×node limit
25×fuel
2×unsound
17×done
Counts
62045 → 53690
Compiler

Compiled 7635 to 4987 computations (34.7% saved)

preprocess29.5s (6.2%)

Algorithm
42×egg-herbie
Rules
59912×fma-neg
39674×fma-define
17758×distribute-lft-neg-in
17382×unsub-neg
17104×add0
Stop Event
12×saturated
30×node limit
Compiler

Compiled 30525 to 18881 computations (38.1% saved)

rewrite29.2s (6.2%)

Algorithm
124×batch-egg-rewrite
Rules
74621×log1p-expm1-u
60871×expm1-log1p-u
48348×fma-define
38838×prod-diff
37024×log-prod
Stop Event
124×node limit
Counts
898 → 43836

prune23.5s (5%)

Counts
91636 → 1945
Compiler

Compiled 72483 to 49336 computations (31.9% saved)

regimes15.2s (3.2%)

Counts
3724 → 515
Calls

94 calls:

1.8s
c
1.5s
a
1.5s
b
1.3s
d
1.2s
x
Compiler

Compiled 4179 to 2980 computations (28.7% saved)

bsearch9.8s (2.1%)

Algorithm
236×binary-search
26×left-value
Stop Event
10×predicate-same
226×narrow-enough
Results
4.6s20894×256valid
2.3s5397×256infinite
1.0s1807×1024valid
430.0ms1388×512valid
494.0ms1070×8192exit
97.0ms818×256invalid
217.0ms252×2048valid
42.0ms67×1024infinite
5.0ms11×512infinite
5.0ms6×2048infinite
1.0ms2×4096valid
Compiler

Compiled 64001 to 45488 computations (28.9% saved)

analyze9.1s (1.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series7.1s (1.5%)

Counts
898 → 18209
Calls

4908 calls:

TimeVariablePointExpression
261.0ms
x
@0
(-.f64 1 (cos.f64 x))
154.0ms
c
@inf
(+.f64 e (+.f64 a (+.f64 (+.f64 b c) d)))
136.0ms
w
@-inf
(*.f64 r (*.f64 r (*.f64 w w)))
132.0ms
a
@-inf
(/.f64 (*.f64 a c) b)
126.0ms
b
@0
(*.f64 2 (/.f64 (*.f64 a c) b))

end15.0ms (0%)

Profiling

Loading profile data...