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: 4.4min)

sample1.3min (28.6%)

Results
18.3s116139×256valid
9.6s23121×512valid
31.7s16561×8192exit
6.1s16152×1024valid
866.0ms5075×256infinite
4.4s4632×2048valid
520.0ms3889×256invalid
275.0ms1193×256unsamplable
3.0ms1×8192valid
Precisions
Click to see histograms. Total time spent on operations: 49.8s
Operation ival-pow, time spent: 13.7s, 28.0% of total-time
Operation ival-exp, time spent: 8.5s, 17.0% of total-time
Operation ival-log, time spent: 5.8s, 12.0% of total-time
Operation ival-cos, time spent: 3.7s, 7.0% of total-time
Operation ival-mult, time spent: 2.7s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 4.0% of total-time
Operation ival-sin, time spent: 1.9s, 4.0% of total-time
Operation ival-<=, time spent: 1.7s, 3.0% of total-time
Operation ival-sinh, time spent: 1.7s, 3.0% of total-time
Operation ival-div, time spent: 1.6s, 3.0% of total-time
Operation ival-add, time spent: 1.0s, 2.0% of total-time
Operation ival-tan, time spent: 1.0s, 2.0% of total-time
Operation ival-sub, time spent: 799.0ms, 2.0% of total-time
Operation ival-neg, time spent: 794.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 690.0ms, 1.0% of total-time
Operation ival-acos, time spent: 634.0ms, 1.0% of total-time
Operation const, time spent: 594.0ms, 1.0% of total-time
Operation ival-atan, time spent: 263.0ms, 1.0% of total-time
Operation ival-and, time spent: 234.0ms, 0.0% of total-time
Operation ival-==, time spent: 206.0ms, 0.0% of total-time
Operation ival-<, time spent: 193.0ms, 0.0% of total-time
Operation ival-or, time spent: 92.0ms, 0.0% of total-time
Operation ival->=, time spent: 51.0ms, 0.0% of total-time
Operation ival->, time spent: 40.0ms, 0.0% of total-time
Bogosity

localize41.3s (15.7%)

Compiler

Compiled 9543 to 4863 computations (49% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.3s
Operation ival-pow, time spent: 6.2s, 24.0% of total-time
Operation ival-mult, time spent: 3.2s, 12.0% of total-time
Operation ival-acos, time spent: 2.5s, 9.0% of total-time
Operation ival-log, time spent: 2.2s, 8.0% of total-time
Operation ival-cos, time spent: 1.5s, 6.0% of total-time
Operation ival-sub, time spent: 1.4s, 5.0% of total-time
Operation ival-exp, time spent: 1.3s, 5.0% of total-time
Operation ival-asin, time spent: 1.2s, 5.0% of total-time
Operation ival-add, time spent: 1.2s, 5.0% of total-time
Operation ival-div, time spent: 1.1s, 4.0% of total-time
Operation composed, time spent: 1.0s, 4.0% of total-time
Operation ival-sin, time spent: 864.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 621.0ms, 2.0% of total-time
Operation const, time spent: 541.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 539.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 528.0ms, 2.0% of total-time
Operation ival-tan, time spent: 242.0ms, 1.0% of total-time
Operation ival-neg, time spent: 110.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: 7.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

simplify25.7s (9.7%)

Algorithm
85×egg-herbie
Rules
45658×fma-define
38304×distribute-lft-in
33632×fma-neg
33518×associate-*r*
32228×distribute-rgt-in
Stop Event
20×saturated
59×node limit
11×fuel
6×unsound
9×done
Counts
27468 → 23908
Compiler

Compiled 1729 to 1165 computations (32.6% saved)

eval25.6s (9.7%)

Compiler

Compiled 1059367 to 562396 computations (46.9% saved)

analyze24.4s (9.3%)

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
67%48.4%23.9%26.3%0%1.1%0.3%6
71.2%51.1%20.7%26.3%0%1.6%0.3%7
72.2%51.6%19.9%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.9%54%17.1%26.3%0%2.1%0.5%10
76.7%54.4%16.6%26.3%0%2.3%0.5%11
77.4%54.9%16%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: 16.9s
Operation ival-<=, time spent: 9.2s, 55.0% of total-time
Operation ival-tan, time spent: 4.5s, 26.0% of total-time
Operation ival-add, time spent: 827.0ms, 5.0% of total-time
Operation ival-and, time spent: 410.0ms, 2.0% of total-time
Operation ival-==, time spent: 380.0ms, 2.0% of total-time
Operation ival-sub, time spent: 314.0ms, 2.0% of total-time
Operation const, time spent: 312.0ms, 2.0% of total-time
Operation ival-or, time spent: 193.0ms, 1.0% of total-time
Operation ival-mult, time spent: 158.0ms, 1.0% of total-time
Operation ival-sin, time spent: 131.0ms, 1.0% of total-time
Operation ival-cos, time spent: 121.0ms, 1.0% of total-time
Operation ival-pow, time spent: 112.0ms, 1.0% of total-time
Operation ival-div, time spent: 55.0ms, 0.0% of total-time
Operation ival-exp, time spent: 54.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.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-neg, time spent: 18.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

soundness23.0s (8.7%)

Rules
28558×fma-define
22508×associate-*r*
21760×times-frac
21588×fma-neg
18768×associate-*l*
Stop Event
6×saturated
52×node limit
3×unsound
Compiler

Compiled 10130 to 5297 computations (47.7% saved)

rewrite12.5s (4.8%)

Algorithm
65×batch-egg-rewrite
Rules
35466×log1p-expm1-u
29688×expm1-log1p-u
25294×unpow-prod-down
21776×log-prod
16578×prod-diff
Stop Event
65×node limit
Counts
501 → 18271

regimes12.3s (4.7%)

Counts
4006 → 144
Calls

53 calls:

2.1s
x
2.1s
a
2.0s
b
1.2s
r
757.0ms
lo
Compiler

Compiled 1810 to 1273 computations (29.7% saved)

prune10.6s (4%)

Counts
40996 → 1756
Compiler

Compiled 62439 to 39862 computations (36.2% saved)

preprocess7.4s (2.8%)

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
Compiler

Compiled 9037 to 5152 computations (43% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-cos, time spent: 221.0ms, 16.0% of total-time
Operation ival-log, time spent: 148.0ms, 11.0% of total-time
Operation ival-mult, time spent: 146.0ms, 11.0% of total-time
Operation ival-neg, time spent: 111.0ms, 8.0% of total-time
Operation ival-add, time spent: 94.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 88.0ms, 6.0% of total-time
Operation ival-sub, time spent: 81.0ms, 6.0% of total-time
Operation ival-pow, time spent: 77.0ms, 6.0% of total-time
Operation ival-sin, time spent: 75.0ms, 6.0% of total-time
Operation ival-exp, time spent: 69.0ms, 5.0% of total-time
Operation ival-tan, time spent: 52.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 51.0ms, 4.0% of total-time
Operation ival-div, time spent: 41.0ms, 3.0% of total-time
Operation ival-acos, time spent: 36.0ms, 3.0% of total-time
Operation const, time spent: 34.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 28.0ms, 2.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.5s (1.7%)

Counts
501 → 9197
Calls

2181 calls:

TimeVariablePointExpression
290.0ms
a
@-inf
(* 3 (log (+ (- (tan (+ y z)) (tan a)) x)))
175.0ms
s
@0
(/ (/ (/ (cos (* x -2)) (pow x 2)) (pow s 2)) (pow c 2))
154.0ms
x
@0
(sqrt (* (* 2 x) (sqrt x)))
141.0ms
x
@0
(* (pow 2 1/4) x)
94.0ms
x
@0
(log (sqrt (exp (acos (- 1 x)))))

bsearch1.0s (0.4%)

Algorithm
26×binary-search
3×left-value
Stop Event
1×predicate-same
25×narrow-enough
Results
337.0ms1879×256valid
427.0ms963×512valid
19.0ms86×256infinite
Compiler

Compiled 4389 to 3209 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 414.0ms
Operation ival-cos, time spent: 143.0ms, 35.0% of total-time
Operation ival-sin, time spent: 96.0ms, 23.0% of total-time
Operation ival-tan, time spent: 52.0ms, 13.0% of total-time
Operation ival-div, time spent: 35.0ms, 8.0% of total-time
Operation ival-mult, time spent: 35.0ms, 8.0% of total-time
Operation ival-add, time spent: 29.0ms, 7.0% of total-time
Operation ival-pow, time spent: 9.0ms, 2.0% of total-time
Operation ival-sub, time spent: 6.0ms, 1.0% of total-time
Operation const, time spent: 5.0ms, 1.0% of total-time
Operation ival-exp, time spent: 4.0ms, 1.0% of total-time
Operation ival-neg, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...