Herbie run

Date:Thursday, February 22nd, 2024
Commit:4730753e on avx-platform
Hostname:nightly with Racket 8.11.1
Seed:2024053
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: 8.0min)

sample1.8min (22.4%)

Results
52.5s270676×256valid
7.2s30868×256infinite
9.9s19377×1024valid
19.5s13684×2048valid
3.1s10995×512valid
3.4s2189×8192exit
286.0ms2166×256invalid
233.0ms914×256unsamplable
506.0ms777×4096valid
94.0ms206×512infinite
99.0ms149×1024infinite
22.0ms20×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 59.5s
Operation ival-mult, time spent: 11.7s, 20.0% of total-time
Operation ival-tan, time spent: 7.8s, 13.0% of total-time
Operation ival-div, time spent: 7.3s, 12.0% of total-time
Operation ival-pow, time spent: 6.3s, 11.0% of total-time
Operation ival-add, time spent: 5.8s, 10.0% of total-time
Operation ival-sub, time spent: 4.2s, 7.0% of total-time
Operation ival-<=, time spent: 3.8s, 6.0% of total-time
Operation ival-sin, time spent: 3.2s, 5.0% of total-time
Operation ival-cos, time spent: 2.0s, 3.0% of total-time
Operation ival-log, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 987.0ms, 2.0% of total-time
Operation ival-exp, time spent: 821.0ms, 1.0% of total-time
Operation ival-and, time spent: 573.0ms, 1.0% of total-time
Operation composed, time spent: 438.0ms, 1.0% of total-time
Operation ival-atan, time spent: 436.0ms, 1.0% of total-time
Operation ival-neg, time spent: 411.0ms, 1.0% of total-time
Operation ival-==, time spent: 318.0ms, 1.0% of total-time
Operation ival-<, time spent: 283.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-pi, time spent: 43.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

localize1.5min (18.1%)

Compiler

Compiled 30785 to 18757 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.2s
Operation ival-mult, time spent: 17.8s, 32.0% of total-time
Operation ival-div, time spent: 9.0s, 16.0% of total-time
Operation ival-add, time spent: 8.1s, 14.0% of total-time
Operation composed, time spent: 5.7s, 10.0% of total-time
Operation ival-pow, time spent: 5.7s, 10.0% of total-time
Operation ival-sub, time spent: 4.5s, 8.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 951.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 810.0ms, 1.0% of total-time
Operation ival-tan, time spent: 577.0ms, 1.0% of total-time
Operation ival-log, time spent: 411.0ms, 1.0% of total-time
Operation ival-atan, time spent: 249.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 235.0ms, 0.0% of total-time
Operation ival-sin, time spent: 221.0ms, 0.0% of total-time
Operation ival-cos, time spent: 121.0ms, 0.0% of total-time
Operation ival-neg, time spent: 108.0ms, 0.0% of total-time
Operation ival-pi, time spent: 36.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

eval1.4min (17.9%)

Compiler

Compiled 3140150 to 2245172 computations (28.5% saved)

simplify36.5s (7.6%)

Algorithm
166×egg-herbie
Rules
90004×fma-define
77224×fma-neg
73230×distribute-lft-in
65258×distribute-rgt-in
64646×*-commutative
Stop Event
41×saturated
125×node limit
22×fuel
20×done
Counts
53548 → 52137
Compiler

Compiled 9721 to 6495 computations (33.2% saved)

preprocess33.0s (6.8%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 33925 to 21435 computations (36.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
Operation ival-mult, time spent: 4.0s, 36.0% of total-time
Operation ival-div, time spent: 1.8s, 16.0% of total-time
Operation ival-pow, time spent: 1.6s, 14.0% of total-time
Operation ival-add, time spent: 1.4s, 12.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation ival-tan, time spent: 365.0ms, 3.0% of total-time
Operation const, time spent: 328.0ms, 3.0% of total-time
Operation ival-exp, time spent: 159.0ms, 1.0% of total-time
Operation ival-sin, time spent: 154.0ms, 1.0% of total-time
Operation ival-cos, time spent: 111.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 104.0ms, 1.0% of total-time
Operation ival-neg, time spent: 69.0ms, 1.0% of total-time
Operation ival-log, time spent: 66.0ms, 1.0% of total-time
Operation composed, time spent: 35.0ms, 0.0% of total-time
Operation ival-atan, time spent: 29.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

soundness29.6s (6.1%)

Rules
77740×fma-define
56952×fma-neg
48630×distribute-lft-in
46996×distribute-rgt-in
39500×times-frac
Stop Event
8×saturated
132×node limit
Compiler

Compiled 22435 to 14320 computations (36.2% saved)

prune26.6s (5.5%)

Counts
95957 → 2102
Compiler

Compiled 86901 to 60080 computations (30.9% saved)

rewrite25.5s (5.3%)

Algorithm
124×batch-egg-rewrite
Rules
76817×log1p-expm1-u
58818×expm1-log1p-u
44522×prod-diff
42428×log-prod
34538×unpow-prod-down
Stop Event
124×node limit
Counts
970 → 33068

bsearch16.7s (3.5%)

Algorithm
274×binary-search
21×left-value
Stop Event
25×predicate-same
249×narrow-enough
Results
6.1s22733×256valid
5.5s8570×256infinite
1.2s2186×1024valid
731.0ms1438×8192exit
201.0ms677×512valid
108.0ms402×256invalid
331.0ms391×2048valid
6.0ms16×512infinite
2.0ms2×2048infinite
2.0ms1×4096valid
Compiler

Compiled 91902 to 65627 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
Operation ival-mult, time spent: 3.0s, 36.0% of total-time
Operation ival-add, time spent: 1.5s, 18.0% of total-time
Operation ival-div, time spent: 1.4s, 17.0% of total-time
Operation ival-pow, time spent: 1.0s, 12.0% of total-time
Operation ival-sub, time spent: 834.0ms, 10.0% of total-time
Operation const, time spent: 301.0ms, 4.0% of total-time
Operation ival-exp, time spent: 148.0ms, 2.0% of total-time
Operation ival-neg, time spent: 143.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 48.0ms, 1.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

regimes16.0s (3.3%)

Counts
4678 → 561
Calls

95 calls:

1.9s
x1
1.7s
c
1.4s
b
1.3s
a
1.2s
x
Compiler

Compiled 4294 to 3060 computations (28.7% saved)

analyze11.9s (2.5%)

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)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-add, time spent: 1.8s, 21.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 19.0% of total-time
Operation ival-mult, time spent: 1.3s, 16.0% of total-time
Operation ival-div, time spent: 1.1s, 13.0% of total-time
Operation ival-sub, time spent: 853.0ms, 10.0% of total-time
Operation ival-pow, time spent: 832.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 247.0ms, 3.0% of total-time
Operation const, time spent: 205.0ms, 2.0% of total-time
Operation ival-exp, time spent: 113.0ms, 1.0% of total-time
Operation ival-<=, time spent: 88.0ms, 1.0% of total-time
Operation ival-<, time spent: 72.0ms, 1.0% of total-time
Operation ival-==, time spent: 53.0ms, 1.0% of total-time
Operation ival-if, time spent: 32.0ms, 0.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series5.3s (1.1%)

Counts
970 → 20480
Calls

5157 calls:

TimeVariablePointExpression
245.0ms
r
@0
(pow (* r w) 2)
161.0ms
a
@inf
(/ (+ (neg b) (pow (pow (* (* a -4) c) 1/4) 2)) (* a 2))
101.0ms
d
@-inf
(+ d (+ b (+ c e)))
81.0ms
c
@0
(exp (* 1/4 (+ (log (* -4 c)) (* -1 (log (/ 1 a))))))
64.0ms
eps
@0
(- (* (+ 1 (/ 1 eps)) (exp (* (- 1 eps) (neg x)))) (* (+ (/ 1 eps) -1) (exp (* (+ 1 eps) (neg x)))))

end30.0ms (0%)

Profiling

Loading profile data...