Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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.9min (23.4%)

Results
54.7s270739×256valid
7.1s31180×256infinite
9.6s19113×1024valid
19.4s13564×2048valid
3.8s11072×512valid
284.0ms2131×256invalid
5.2s1481×8192exit
184.0ms1001×256unsamplable
721.0ms744×4096valid
78.0ms179×512infinite
105.0ms147×1024infinite
16.0ms14×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 13.1s, 20.0% of total-time
Operation ival-pow, time spent: 10.5s, 16.0% of total-time
Operation ival-tan, time spent: 7.5s, 12.0% of total-time
Operation ival-div, time spent: 6.9s, 11.0% of total-time
Operation ival-add, time spent: 5.8s, 9.0% of total-time
Operation ival-sub, time spent: 4.0s, 6.0% of total-time
Operation ival-sin, time spent: 3.8s, 6.0% of total-time
Operation ival-<=, time spent: 3.7s, 6.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 954.0ms, 1.0% of total-time
Operation ival-exp, time spent: 880.0ms, 1.0% of total-time
Operation ival-and, time spent: 563.0ms, 1.0% of total-time
Operation composed, time spent: 452.0ms, 1.0% of total-time
Operation ival-neg, time spent: 411.0ms, 1.0% of total-time
Operation ival-==, time spent: 402.0ms, 1.0% of total-time
Operation ival-<, time spent: 234.0ms, 0.0% of total-time
Operation ival-atan, time spent: 216.0ms, 0.0% of total-time
Operation ival-pi, time spent: 49.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 40.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

localize1.5min (18.4%)

Compiler

Compiled 30644 to 18322 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.2s
Operation ival-mult, time spent: 18.7s, 32.0% of total-time
Operation ival-div, time spent: 8.9s, 15.0% of total-time
Operation ival-add, time spent: 8.5s, 14.0% of total-time
Operation ival-pow, time spent: 7.4s, 13.0% of total-time
Operation composed, time spent: 6.2s, 10.0% of total-time
Operation ival-sub, time spent: 4.8s, 8.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 956.0ms, 2.0% of total-time
Operation ival-tan, time spent: 529.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 510.0ms, 1.0% of total-time
Operation ival-log, time spent: 343.0ms, 1.0% of total-time
Operation ival-atan, time spent: 271.0ms, 0.0% of total-time
Operation ival-cos, time spent: 182.0ms, 0.0% of total-time
Operation ival-sin, time spent: 156.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 102.0ms, 0.0% of total-time
Operation ival-neg, time spent: 89.0ms, 0.0% of total-time
Operation ival-e, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

eval1.3min (16.7%)

Compiler

Compiled 3055121 to 2099945 computations (31.3% saved)

simplify36.5s (7.7%)

Algorithm
164×egg-herbie
Rules
98362×fma-define
76760×distribute-lft-in
69156×fma-neg
68206×distribute-rgt-in
62596×associate-*r*
Stop Event
42×saturated
122×node limit
21×fuel
21×done
Counts
52592 → 48912
Compiler

Compiled 9641 to 6523 computations (32.3% saved)

soundness32.6s (6.8%)

Rules
90786×fma-define
56062×fma-neg
54154×distribute-lft-in
50916×distribute-rgt-in
50688×associate-*r*
Stop Event
7×saturated
135×node limit
Compiler

Compiled 27106 to 16812 computations (38% saved)

preprocess31.9s (6.7%)

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 33357 to 21123 computations (36.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
Operation ival-mult, time spent: 3.5s, 32.0% of total-time
Operation ival-pow, time spent: 1.8s, 16.0% of total-time
Operation ival-add, time spent: 1.7s, 16.0% of total-time
Operation ival-div, time spent: 1.7s, 15.0% of total-time
Operation ival-sub, time spent: 950.0ms, 9.0% of total-time
Operation ival-tan, time spent: 358.0ms, 3.0% of total-time
Operation const, time spent: 323.0ms, 3.0% of total-time
Operation ival-cos, time spent: 151.0ms, 1.0% of total-time
Operation ival-sin, time spent: 148.0ms, 1.0% of total-time
Operation ival-exp, time spent: 139.0ms, 1.0% of total-time
Operation ival-neg, time spent: 69.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 66.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 1.0% of total-time
Operation composed, time spent: 26.0ms, 0.0% of total-time
Operation ival-atan, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

rewrite24.6s (5.2%)

Algorithm
122×batch-egg-rewrite
Rules
70372×log1p-expm1-u
55331×expm1-log1p-u
46972×prod-diff
38792×log-prod
34052×unpow-prod-down
Stop Event
122×node limit
Counts
927 → 32899

prune24.2s (5.1%)

Counts
86076 → 1896
Compiler

Compiled 74932 to 51851 computations (30.8% saved)

regimes18.1s (3.8%)

Counts
4865 → 573
Calls

94 calls:

2.0s
x
1.9s
c
1.8s
x1
1.3s
a
1.1s
b
Compiler

Compiled 4795 to 3360 computations (29.9% saved)

bsearch14.2s (3%)

Algorithm
265×binary-search
26×left-value
Stop Event
14×predicate-same
251×narrow-enough
Results
4.5s20228×256valid
2.8s6693×256infinite
1.4s2301×1024valid
499.0ms1575×512valid
2.6s1387×8192exit
68.0ms506×256invalid
310.0ms426×2048valid
35.0ms42×1024infinite
7.0ms15×512infinite
Compiler

Compiled 70702 to 51749 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
Operation ival-pow, time spent: 2.8s, 34.0% of total-time
Operation ival-mult, time spent: 2.0s, 24.0% of total-time
Operation ival-div, time spent: 1.3s, 16.0% of total-time
Operation ival-add, time spent: 929.0ms, 11.0% of total-time
Operation ival-sub, time spent: 622.0ms, 8.0% of total-time
Operation const, time spent: 191.0ms, 2.0% of total-time
Operation ival-neg, time spent: 184.0ms, 2.0% of total-time
Operation ival-exp, time spent: 102.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 41.0ms, 1.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze11.5s (2.4%)

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.2%40.9%11.4%45.6%0%2.1%0%7
81.8%42.7%9.5%45.7%0%2.1%0%8
84.7%44.1%8%45.7%0%2.2%0%9
86.8%44.9%6.9%45.7%0%2.5%0%10
88.9%45.9%5.7%45.7%0%2.5%0.1%11
89.8%46.3%5.3%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.1s
Operation ival-add, time spent: 1.7s, 20.0% of total-time
Operation ival-mult, time spent: 1.4s, 18.0% of total-time
Operation ival-div, time spent: 1.3s, 16.0% of total-time
Operation ival-sub, time spent: 997.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 955.0ms, 12.0% of total-time
Operation ival-pow, time spent: 885.0ms, 11.0% of total-time
Operation ival-exp, time spent: 216.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 216.0ms, 3.0% of total-time
Operation const, time spent: 190.0ms, 2.0% of total-time
Operation ival-<=, time spent: 124.0ms, 2.0% of total-time
Operation ival-==, time spent: 52.0ms, 1.0% of total-time
Operation ival-if, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 28.0ms, 0.0% of total-time
Operation ival-<, time spent: 23.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.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
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

series4.5s (0.9%)

Counts
927 → 19693
Calls

5055 calls:

TimeVariablePointExpression
78.0ms
x
@inf
(log (+ 1 (cos x)))
44.0ms
x
@inf
(pow (exp (cbrt (* (pow x 4) 100))) (cbrt 10))
37.0ms
eps
@-inf
(sqrt (+ (* (sqrt (neg eps)) (sqrt (neg eps))) (* x x)))
36.0ms
eps
@inf
(pow (exp (+ 1 eps)) (neg x))
33.0ms
n
@-inf
(log (* 100 (* n (/ i i))))

end26.0ms (0%)

Profiling

Loading profile data...