Herbie run

Date:Sunday, March 17th, 2024
Commit:614f1775 on main
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.7min)

sample1.9min (24.3%)

Results
49.4s270267×256valid
6.7s30934×256infinite
10.4s19445×1024valid
18.7s13759×2048valid
3.4s11217×512valid
613.0ms4188×256invalid
169.0ms936×256unsamplable
547.0ms727×4096valid
87.0ms215×512infinite
1.9s202×8192exit
115.0ms176×1024infinite
13.0ms12×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 13.0s, 21.0% of total-time
Operation ival-pow, time spent: 7.6s, 12.0% of total-time
Operation ival-tan, time spent: 7.0s, 11.0% of total-time
Operation ival-add, time spent: 6.3s, 10.0% of total-time
Operation ival-div, time spent: 6.3s, 10.0% of total-time
Operation ival-<=, time spent: 4.7s, 8.0% of total-time
Operation ival-sub, time spent: 4.6s, 7.0% of total-time
Operation ival-sin, time spent: 3.1s, 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.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 695.0ms, 1.0% of total-time
Operation ival-and, time spent: 589.0ms, 1.0% of total-time
Operation composed, time spent: 577.0ms, 1.0% of total-time
Operation ival-neg, time spent: 497.0ms, 1.0% of total-time
Operation ival-==, time spent: 453.0ms, 1.0% of total-time
Operation ival-atan, time spent: 215.0ms, 0.0% of total-time
Operation ival-<, time spent: 118.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 58.0ms, 0.0% of total-time
Operation ival-pi, time spent: 50.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.5min (19.4%)

Results
23.3s26576×256valid
4.2s2762×256infinite
10.4s2071×1024valid
7.5s1019×2048valid
3.7s994×512valid
623.0ms709×256invalid
9.2s253×1024infinite
4.4s204×8192exit
186.0ms189×256unsamplable
2.2s129×512infinite
1.2s84×4096valid
1.7s65×2048infinite
151.0ms17×4096infinite
Compiler

Compiled 29268 to 17248 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.2s
Operation ival-mult, time spent: 17.9s, 30.0% of total-time
Operation ival-pow, time spent: 9.5s, 16.0% of total-time
Operation ival-div, time spent: 8.4s, 14.0% of total-time
Operation ival-add, time spent: 7.8s, 13.0% of total-time
Operation composed, time spent: 5.4s, 9.0% of total-time
Operation ival-sub, time spent: 5.0s, 8.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation ival-tan, time spent: 606.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 410.0ms, 1.0% of total-time
Operation ival-sin, time spent: 374.0ms, 1.0% of total-time
Operation ival-log, time spent: 241.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 190.0ms, 0.0% of total-time
Operation ival-cos, time spent: 139.0ms, 0.0% of total-time
Operation ival-atan, time spent: 138.0ms, 0.0% of total-time
Operation ival-neg, time spent: 98.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-e, time spent: 2.0ms, 0.0% of total-time

eval1.2min (15.9%)

Compiler

Compiled 2723828 to 1858867 computations (31.8% saved)

simplify38.2s (8.3%)

Algorithm
170×egg-herbie
Rules
46042×fma-define
40843×distribute-lft-in
37461×fma-neg
34661×distribute-rgt-in
33420×*-commutative
Stop Event
42×saturated
128×node limit
23×fuel
19×done
Counts
56526 → 54547
Compiler

Compiled 7922 to 5258 computations (33.6% saved)

preprocess31.1s (6.8%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Results
6.3s16000×256valid
2.7s1772×1024valid
1.0s1746×256infinite
1.8s882×2048valid
811.0ms842×512valid
1.6s136×1024infinite
364.0ms72×512infinite
91.0ms40×4096valid
259.0ms14×2048infinite
Compiler

Compiled 29207 to 18283 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-mult, time spent: 3.4s, 31.0% of total-time
Operation ival-div, time spent: 1.8s, 17.0% of total-time
Operation ival-add, time spent: 1.6s, 15.0% of total-time
Operation ival-pow, time spent: 1.4s, 13.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation ival-tan, time spent: 533.0ms, 5.0% of total-time
Operation const, time spent: 334.0ms, 3.0% of total-time
Operation ival-sin, time spent: 213.0ms, 2.0% of total-time
Operation ival-cos, time spent: 156.0ms, 1.0% of total-time
Operation ival-exp, time spent: 110.0ms, 1.0% of total-time
Operation ival-neg, time spent: 80.0ms, 1.0% of total-time
Operation ival-log, time spent: 72.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 70.0ms, 1.0% of total-time
Operation composed, time spent: 38.0ms, 0.0% of total-time
Operation ival-atan, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

soundness28.9s (6.3%)

Rules
40388×fma-define
30036×fma-neg
28631×log1p-expm1-u
28309×distribute-lft-in
26025×distribute-rgt-in
Stop Event
7×saturated
132×node limit
Compiler

Compiled 18816 to 11701 computations (37.8% saved)

rewrite26.4s (5.7%)

Algorithm
128×batch-egg-rewrite
Rules
74941×log1p-expm1-u
59653×expm1-log1p-u
26924×pow1
25143×add-exp-log
24378×prod-diff
Stop Event
128×node limit
Counts
1014 → 34997

prune21.3s (4.6%)

Counts
84214 → 1950
Compiler

Compiled 70845 to 48785 computations (31.1% saved)

bsearch13.7s (3%)

Algorithm
251×binary-search
16×left-value
Stop Event
15×predicate-same
236×narrow-enough
Results
4.2s19331×256valid
4.2s6932×256infinite
1.1s1712×1024valid
117.0ms1489×256invalid
431.0ms1429×512valid
290.0ms192×2048valid
50.0ms65×1024infinite
5.0ms36×256unsamplable
15.0ms28×512infinite
9.0ms4×4096valid
3.0ms3×2048infinite
Compiler

Compiled 70915 to 51077 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
Operation ival-mult, time spent: 2.6s, 35.0% of total-time
Operation ival-add, time spent: 1.3s, 17.0% of total-time
Operation ival-sub, time spent: 1.3s, 17.0% of total-time
Operation ival-div, time spent: 1.1s, 15.0% of total-time
Operation ival-pow, time spent: 903.0ms, 12.0% of total-time
Operation const, time spent: 187.0ms, 2.0% of total-time
Operation ival-exp, time spent: 95.0ms, 1.0% of total-time
Operation ival-neg, time spent: 71.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze11.5s (2.5%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%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.2s
Operation ival-add, time spent: 1.7s, 21.0% of total-time
Operation ival-div, time spent: 1.2s, 15.0% of total-time
Operation ival-mult, time spent: 1.1s, 14.0% of total-time
Operation ival-pow, time spent: 1.0s, 12.0% of total-time
Operation ival-sqrt, time spent: 874.0ms, 11.0% of total-time
Operation ival-sub, time spent: 857.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 385.0ms, 5.0% of total-time
Operation ival-<=, time spent: 364.0ms, 4.0% of total-time
Operation const, time spent: 204.0ms, 2.0% of total-time
Operation ival-<, time spent: 136.0ms, 2.0% of total-time
Operation ival-exp, time spent: 111.0ms, 1.0% of total-time
Operation ival-if, time spent: 63.0ms, 1.0% of total-time
Operation ival-==, time spent: 52.0ms, 1.0% of total-time
Operation ival-neg, time spent: 28.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 ival-cos, time spent: 2.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-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

regimes9.5s (2.1%)

Counts
4203 → 523
Calls

94 calls:

994.0ms
x
929.0ms
a
920.0ms
x1
870.0ms
b
757.0ms
d
Compiler

Compiled 3915 to 2769 computations (29.3% saved)

series5.0s (1.1%)

Counts
1014 → 21529
Calls

5532 calls:

TimeVariablePointExpression
149.0ms
x
@0
(* (pow x 3) (+ 1 (/ 1 x)))
66.0ms
a
@-inf
(+ (* a (pow (/ d c) 3)) (/ (neg (+ (* a d) (* (pow d 2) (/ b c)))) c))
57.0ms
x
@-inf
(pow (pow (pow (exp 20) x) x) 1/2)
55.0ms
y
@-inf
(* (- x y) (/ (+ 1 (/ x y)) y))
50.0ms
eps
@inf
(* eps (+ (* 1/16 (/ eps (pow x 5))) (* 1/8 (/ 1 (pow x 3)))))

end87.0ms (0%)

Profiling

Loading profile data...