Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 4.3min)

sample1.3min (29.5%)

Results
14.4s116406×256valid
8.8s23029×512valid
31.6s16499×8192exit
6.1s15962×1024valid
777.0ms4981×256infinite
4.2s4740×2048valid
487.0ms3930×256invalid
171.0ms1443×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 50.0s
Operation ival-pow, time spent: 13.0s, 26.0% of total-time
Operation ival-exp, time spent: 10.1s, 20.0% of total-time
Operation ival-log, time spent: 5.7s, 11.0% of total-time
Operation ival-cos, time spent: 3.6s, 7.0% of total-time
Operation ival-mult, time spent: 2.8s, 6.0% of total-time
Operation ival-sinh, time spent: 1.8s, 4.0% of total-time
Operation ival-<=, time spent: 1.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-div, time spent: 1.3s, 3.0% of total-time
Operation ival-sin, time spent: 1.3s, 3.0% of total-time
Operation ival-sub, time spent: 1.2s, 2.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-fmod, time spent: 1.1s, 2.0% of total-time
Operation ival-add, time spent: 902.0ms, 2.0% of total-time
Operation ival-acos, time spent: 748.0ms, 1.0% of total-time
Operation const, time spent: 563.0ms, 1.0% of total-time
Operation ival-neg, time spent: 508.0ms, 1.0% of total-time
Operation ival-==, time spent: 393.0ms, 1.0% of total-time
Operation ival-and, time spent: 230.0ms, 0.0% of total-time
Operation ival-<, time spent: 188.0ms, 0.0% of total-time
Operation ival-or, time spent: 84.0ms, 0.0% of total-time
Operation ival-atan, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 62.0ms, 0.0% of total-time
Operation ival->, time spent: 35.0ms, 0.0% of total-time
Bogosity

localize47.3s (18.4%)

Results
6.7s10914×256valid
3.2s2050×512valid
15.6s1865×2048valid
6.0s1659×1024valid
6.7s572×8192exit
395.0ms424×256infinite
70.0ms165×256unsamplable
14.0ms10×512invalid
54.0ms4×8192valid
1.0ms1×256invalid
Compiler

Compiled 9831 to 5097 computations (48.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.4s
Operation ival-pow, time spent: 6.5s, 20.0% of total-time
Operation ival-mult, time spent: 4.1s, 12.0% of total-time
Operation ival-log, time spent: 2.7s, 8.0% of total-time
Operation ival-asin, time spent: 2.4s, 7.0% of total-time
Operation ival-sub, time spent: 2.4s, 7.0% of total-time
Operation composed, time spent: 2.4s, 7.0% of total-time
Operation ival-cos, time spent: 2.3s, 7.0% of total-time
Operation ival-exp, time spent: 1.7s, 5.0% of total-time
Operation ival-add, time spent: 1.6s, 5.0% of total-time
Operation ival-sin, time spent: 1.5s, 4.0% of total-time
Operation ival-div, time spent: 1.3s, 4.0% of total-time
Operation ival-acos, time spent: 1.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 913.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 689.0ms, 2.0% of total-time
Operation const, time spent: 621.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 412.0ms, 1.0% of total-time
Operation ival-tan, time spent: 195.0ms, 1.0% of total-time
Operation ival-neg, time spent: 163.0ms, 0.0% of total-time
Operation ival-e, time spent: 128.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 83.0ms, 0.0% of total-time
Operation ival-pi, time spent: 15.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

simplify20.9s (8.1%)

Algorithm
86×egg-herbie
Rules
39938×fma-define
36442×fma-neg
34286×associate-*r*
32826×distribute-lft-in
30910×times-frac
Stop Event
20×saturated
60×node limit
13×fuel
6×unsound
7×done
Counts
28251 → 23332
Compiler

Compiled 1765 to 1229 computations (30.4% saved)

analyze20.0s (7.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
Operation ival-<=, time spent: 6.5s, 52.0% of total-time
Operation ival-add, time spent: 2.5s, 20.0% of total-time
Operation ival-tan, time spent: 1.1s, 9.0% of total-time
Operation ival-and, time spent: 362.0ms, 3.0% of total-time
Operation ival-==, time spent: 296.0ms, 2.0% of total-time
Operation const, time spent: 290.0ms, 2.0% of total-time
Operation ival-sub, time spent: 286.0ms, 2.0% of total-time
Operation ival-sin, time spent: 204.0ms, 2.0% of total-time
Operation ival-or, time spent: 180.0ms, 1.0% of total-time
Operation ival-mult, time spent: 132.0ms, 1.0% of total-time
Operation ival-pow, time spent: 126.0ms, 1.0% of total-time
Operation ival-cos, time spent: 125.0ms, 1.0% of total-time
Operation ival-neg, time spent: 107.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 95.0ms, 1.0% of total-time
Operation ival-div, time spent: 56.0ms, 0.0% of total-time
Operation ival-exp, time spent: 51.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 12.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

eval19.9s (7.7%)

Compiler

Compiled 936608 to 555740 computations (40.7% saved)

rewrite19.3s (7.5%)

Algorithm
66×batch-egg-rewrite
Rules
37936×log1p-expm1-u
28653×expm1-log1p-u
27808×unpow-prod-down
23912×log-prod
16130×prod-diff
Stop Event
66×node limit
Counts
510 → 18959

soundness19.3s (7.5%)

Rules
28944×fma-define
25472×fma-neg
20614×times-frac
19376×associate-*r*
17557×log1p-expm1-u
Stop Event
6×saturated
57×node limit
2×unsound
Compiler

Compiled 8924 to 4699 computations (47.3% saved)

regimes11.4s (4.4%)

Counts
3692 → 156
Calls

53 calls:

1.9s
a
1.5s
b
1.1s
x
968.0ms
r
882.0ms
z
Compiler

Compiled 1874 to 1331 computations (29% saved)

prune10.5s (4.1%)

Counts
41000 → 1867
Compiler

Compiled 68868 to 43911 computations (36.2% saved)

preprocess7.8s (3%)

Algorithm
20×egg-herbie
Rules
10358×fma-neg
10108×fma-define
3250×distribute-rgt-in
3210×unsub-neg
3162×distribute-lft-in
Stop Event
18×saturated
2×node limit
Results
1.1s7156×256valid
433.0ms1386×512valid
365.0ms966×1024valid
287.0ms332×256infinite
222.0ms282×2048valid
242.0ms116×8192exit
6.0ms2×8192valid
Compiler

Compiled 9825 to 5692 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-pow, time spent: 326.0ms, 20.0% of total-time
Operation ival-cos, time spent: 281.0ms, 17.0% of total-time
Operation ival-mult, time spent: 154.0ms, 9.0% of total-time
Operation ival-log, time spent: 143.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 135.0ms, 8.0% of total-time
Operation ival-sin, time spent: 87.0ms, 5.0% of total-time
Operation ival-sub, time spent: 76.0ms, 5.0% of total-time
Operation ival-exp, time spent: 71.0ms, 4.0% of total-time
Operation ival-add, time spent: 67.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 53.0ms, 3.0% of total-time
Operation ival-tan, time spent: 48.0ms, 3.0% of total-time
Operation ival-div, time spent: 47.0ms, 3.0% of total-time
Operation ival-acos, time spent: 41.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-neg, time spent: 11.0ms, 1.0% of total-time
Operation ival-atan, time spent: 8.0ms, 0.0% of total-time

series4.1s (1.6%)

Counts
510 → 9292
Calls

2289 calls:

TimeVariablePointExpression
208.0ms
a
@inf
(/ (log (pow (exp r) (sin b))) (cos (+ b a)))
201.0ms
x
@-inf
(pow (* x 2) 1/4)
114.0ms
r
@-inf
(log (pow (exp r) (sin b)))
110.0ms
r
@inf
(log (pow (exp r) (sin b)))
80.0ms
x
@0
(* (sqrt 2) (pow x 3/4))

bsearch967.0ms (0.4%)

Algorithm
13×left-value
23×binary-search
Stop Event
23×narrow-enough
Results
381.0ms2100×256valid
407.0ms1130×512valid
2.0ms16×256infinite
0.0ms2×512infinite
Compiler

Compiled 4604 to 3244 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 427.0ms
Operation ival-cos, time spent: 191.0ms, 45.0% of total-time
Operation ival-sin, time spent: 117.0ms, 27.0% of total-time
Operation ival-mult, time spent: 42.0ms, 10.0% of total-time
Operation ival-div, time spent: 29.0ms, 7.0% of total-time
Operation ival-add, time spent: 26.0ms, 6.0% of total-time
Operation ival-pow, time spent: 9.0ms, 2.0% of total-time
Operation ival-exp, time spent: 6.0ms, 1.0% of total-time
Operation const, time spent: 5.0ms, 1.0% of total-time
Operation ival-neg, time spent: 2.0ms, 0.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...