Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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.1min)

sample1.9min (22.9%)

Results
54.7s270755×256valid
7.7s30962×256infinite
9.5s19403×1024valid
18.6s13791×2048valid
3.7s10742×512valid
427.0ms2113×256invalid
5.5s1538×8192exit
192.0ms975×256unsamplable
1.0s726×4096valid
93.0ms193×512infinite
126.0ms165×1024infinite
16.0ms15×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 12.6s, 20.0% of total-time
Operation ival-pow, time spent: 10.1s, 16.0% of total-time
Operation ival-tan, time spent: 7.1s, 11.0% of total-time
Operation ival-div, time spent: 6.8s, 11.0% of total-time
Operation ival-add, time spent: 5.9s, 9.0% of total-time
Operation ival-sub, time spent: 4.5s, 7.0% of total-time
Operation ival-<=, time spent: 3.9s, 6.0% of total-time
Operation ival-sin, time spent: 3.4s, 5.0% of total-time
Operation ival-cos, time spent: 2.0s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 897.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 801.0ms, 1.0% of total-time
Operation ival-and, time spent: 610.0ms, 1.0% of total-time
Operation ival-neg, time spent: 533.0ms, 1.0% of total-time
Operation composed, time spent: 409.0ms, 1.0% of total-time
Operation ival-==, time spent: 400.0ms, 1.0% of total-time
Operation ival-<, time spent: 268.0ms, 0.0% of total-time
Operation ival-atan, time spent: 257.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

localize1.4min (17.8%)

Compiler

Compiled 29041 to 17574 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.2s
Operation ival-mult, time spent: 16.7s, 29.0% of total-time
Operation ival-pow, time spent: 9.9s, 17.0% of total-time
Operation ival-div, time spent: 8.5s, 15.0% of total-time
Operation ival-add, time spent: 8.5s, 15.0% of total-time
Operation composed, time spent: 5.3s, 9.0% of total-time
Operation ival-sub, time spent: 3.5s, 6.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 652.0ms, 1.0% of total-time
Operation ival-tan, time spent: 495.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 180.0ms, 0.0% of total-time
Operation ival-atan, time spent: 154.0ms, 0.0% of total-time
Operation ival-sin, time spent: 150.0ms, 0.0% of total-time
Operation ival-neg, time spent: 134.0ms, 0.0% of total-time
Operation ival-cos, time spent: 133.0ms, 0.0% of total-time
Operation ival-log, time spent: 121.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time
Operation ival-e, time spent: 5.0ms, 0.0% of total-time

eval1.4min (17%)

Compiler

Compiled 2800412 to 1941859 computations (30.7% saved)

simplify37.7s (7.8%)

Algorithm
170×egg-herbie
Rules
103612×fma-define
80274×distribute-lft-in
72876×distribute-rgt-in
66304×fma-neg
66150×*-commutative
Stop Event
42×saturated
126×node limit
23×fuel
2×unsound
19×done
Counts
55386 → 53631
Compiler

Compiled 9051 to 5975 computations (34% saved)

soundness35.1s (7.2%)

Rules
91972×fma-define
61018×fma-neg
55468×distribute-lft-in
52342×distribute-rgt-in
52018×associate-*r*
Stop Event
8×saturated
147×node limit
1×unsound
Compiler

Compiled 23466 to 14905 computations (36.5% saved)

preprocess31.9s (6.6%)

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 32005 to 19995 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
Operation ival-mult, time spent: 3.2s, 29.0% of total-time
Operation ival-pow, time spent: 2.4s, 22.0% of total-time
Operation ival-div, time spent: 1.4s, 13.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 const, time spent: 401.0ms, 4.0% of total-time
Operation ival-tan, time spent: 336.0ms, 3.0% of total-time
Operation ival-exp, time spent: 141.0ms, 1.0% of total-time
Operation ival-sin, time spent: 138.0ms, 1.0% of total-time
Operation ival-cos, time spent: 102.0ms, 1.0% of total-time
Operation ival-neg, time spent: 99.0ms, 1.0% of total-time
Operation ival-log, time spent: 68.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 65.0ms, 1.0% of total-time
Operation ival-atan, time spent: 28.0ms, 0.0% of total-time
Operation composed, time spent: 22.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

rewrite25.8s (5.3%)

Algorithm
128×batch-egg-rewrite
Rules
70537×log1p-expm1-u
59222×expm1-log1p-u
42284×prod-diff
41322×unpow-prod-down
39936×log-prod
Stop Event
128×node limit
Counts
991 → 34799

prune23.0s (4.7%)

Counts
90310 → 1995
Compiler

Compiled 73964 to 50870 computations (31.2% saved)

regimes18.5s (3.8%)

Counts
4430 → 591
Calls

94 calls:

2.2s
x1
1.8s
b
1.8s
x
1.7s
a
1.5s
d
Compiler

Compiled 3882 to 2750 computations (29.2% saved)

bsearch17.0s (3.5%)

Algorithm
299×binary-search
16×left-value
Stop Event
14×predicate-same
285×narrow-enough
Results
7.2s25217×256valid
4.0s7636×256infinite
1.1s1447×1024valid
538.0ms1225×512valid
976.0ms473×8192exit
68.0ms458×256invalid
190.0ms228×2048valid
60.0ms147×512infinite
73.0ms110×1024infinite
4.0ms4×2048infinite
3.0ms2×4096valid
Compiler

Compiled 91392 to 64719 computations (29.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
Operation ival-mult, time spent: 3.5s, 37.0% of total-time
Operation ival-pow, time spent: 1.5s, 16.0% of total-time
Operation ival-add, time spent: 1.5s, 16.0% of total-time
Operation ival-div, time spent: 1.4s, 14.0% of total-time
Operation ival-sub, time spent: 786.0ms, 8.0% of total-time
Operation ival-neg, time spent: 239.0ms, 3.0% of total-time
Operation const, time spent: 222.0ms, 2.0% of total-time
Operation ival-exp, time spent: 147.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 81.0ms, 1.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time

analyze11.6s (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.6s, 19.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 15.0% of total-time
Operation ival-sub, time spent: 1.2s, 15.0% of total-time
Operation ival-div, time spent: 1.1s, 14.0% of total-time
Operation ival-mult, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 1.0s, 13.0% of total-time
Operation ival-fabs, time spent: 213.0ms, 3.0% of total-time
Operation const, time spent: 202.0ms, 3.0% of total-time
Operation ival-exp, time spent: 124.0ms, 2.0% of total-time
Operation ival-<=, time spent: 107.0ms, 1.0% of total-time
Operation ival-if, time spent: 61.0ms, 1.0% of total-time
Operation ival-==, time spent: 51.0ms, 1.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time
Operation ival-<, time spent: 24.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation composed, 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.8s (1%)

Counts
991 → 20587
Calls

5334 calls:

TimeVariablePointExpression
282.0ms
r
@inf
(/ (- 1 v) (* w r))
63.0ms
c
@0
(pow (* a (* c -4)) 1/4)
57.0ms
x
@-inf
(* (cos x) (/ (pow (pow (exp 10) x) (+ 1 x)) (pow (exp 10) x)))
52.0ms
a
@0
(pow (neg (* (* (sqrt 1/2) (sqrt 2)) (pow (/ (neg c) a) 1/4))) 2)
42.0ms
a
@0
(pow (/ (neg c) a) 1/4)

end25.0ms (0%)

Profiling

Loading profile data...