Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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.1min)

sample1.2min (29.4%)

Results
17.9s116110×256valid
8.4s23236×512valid
30.0s16384×8192exit
6.1s15972×1024valid
1.1s4963×256infinite
4.2s4833×2048valid
594.0ms3981×256invalid
198.0ms1380×256unsamplable
2.0ms6×512infinite
Precisions
Click to see histograms. Total time spent on operations: 47.1s
Operation ival-pow, time spent: 12.9s, 27.0% of total-time
Operation ival-exp, time spent: 8.2s, 17.0% of total-time
Operation ival-log, time spent: 6.0s, 13.0% of total-time
Operation ival-cos, time spent: 3.7s, 8.0% of total-time
Operation ival-mult, time spent: 2.4s, 5.0% of total-time
Operation ival-sin, time spent: 1.8s, 4.0% of total-time
Operation ival-div, time spent: 1.7s, 4.0% of total-time
Operation ival-sinh, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 3.0% of total-time
Operation ival-<=, time spent: 1.4s, 3.0% of total-time
Operation ival-tan, time spent: 933.0ms, 2.0% of total-time
Operation ival-acos, time spent: 868.0ms, 2.0% of total-time
Operation ival-sub, time spent: 856.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 825.0ms, 2.0% of total-time
Operation ival-add, time spent: 744.0ms, 2.0% of total-time
Operation const, time spent: 571.0ms, 1.0% of total-time
Operation ival-neg, time spent: 494.0ms, 1.0% of total-time
Operation ival-and, time spent: 226.0ms, 0.0% of total-time
Operation ival-<, time spent: 200.0ms, 0.0% of total-time
Operation ival-==, time spent: 178.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Operation ival-atan, time spent: 82.0ms, 0.0% of total-time
Operation ival->=, time spent: 53.0ms, 0.0% of total-time
Operation ival->, time spent: 32.0ms, 0.0% of total-time
Bogosity

localize43.8s (17.8%)

Compiler

Compiled 9451 to 4695 computations (50.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.9s
Operation ival-pow, time spent: 7.8s, 24.0% of total-time
Operation ival-log, time spent: 4.4s, 13.0% of total-time
Operation ival-mult, time spent: 3.4s, 10.0% of total-time
Operation ival-exp, time spent: 2.2s, 7.0% of total-time
Operation composed, time spent: 2.0s, 6.0% of total-time
Operation ival-acos, time spent: 2.0s, 6.0% of total-time
Operation ival-add, time spent: 1.6s, 5.0% of total-time
Operation ival-sub, time spent: 1.5s, 5.0% of total-time
Operation ival-cos, time spent: 1.3s, 4.0% of total-time
Operation ival-asin, time spent: 1.2s, 4.0% of total-time
Operation ival-fmod, time spent: 1.2s, 4.0% of total-time
Operation ival-div, time spent: 1.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 799.0ms, 2.0% of total-time
Operation ival-sin, time spent: 641.0ms, 2.0% of total-time
Operation const, time spent: 541.0ms, 2.0% of total-time
Operation ival-tan, time spent: 409.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 397.0ms, 1.0% of total-time
Operation ival-neg, time spent: 136.0ms, 0.0% of total-time
Operation ival-e, time spent: 134.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 48.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

soundness30.9s (12.5%)

Rules
17170×log1p-expm1-u
16397×fma-define
12013×expm1-log1p-u
10971×fmm-def
10789×associate-*r*
Stop Event
6×saturated
56×node limit
2×unsound
Compiler

Compiled 8747 to 4759 computations (45.6% saved)

analyze24.6s (10%)

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: 16.7s
Operation ival-<=, time spent: 11.4s, 69.0% of total-time
Operation ival-tan, time spent: 1.6s, 10.0% of total-time
Operation ival-add, time spent: 1.1s, 6.0% of total-time
Operation ival-and, time spent: 467.0ms, 3.0% of total-time
Operation ival-==, time spent: 446.0ms, 3.0% of total-time
Operation const, time spent: 330.0ms, 2.0% of total-time
Operation ival-sub, time spent: 310.0ms, 2.0% of total-time
Operation ival-cos, time spent: 232.0ms, 1.0% of total-time
Operation ival-or, time spent: 202.0ms, 1.0% of total-time
Operation ival-mult, time spent: 140.0ms, 1.0% of total-time
Operation ival-pow, time spent: 115.0ms, 1.0% of total-time
Operation ival-sin, time spent: 89.0ms, 1.0% of total-time
Operation ival-div, time spent: 59.0ms, 0.0% of total-time
Operation ival-exp, time spent: 55.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 41.0ms, 0.0% of total-time
Operation ival-log, time spent: 29.0ms, 0.0% of total-time
Operation ival-neg, time spent: 20.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 14.0ms, 0.0% of total-time
Operation ival-<, time spent: 8.0ms, 0.0% of total-time
Operation ival->, time spent: 4.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

eval18.5s (7.5%)

Compiler

Compiled 910794 to 552258 computations (39.4% saved)

simplify17.5s (7.1%)

Algorithm
79×egg-herbie
Rules
20936×fma-define
16265×associate-*r*
15505×fmm-def
15073×distribute-lft-in
14325×*-commutative
Stop Event
20×saturated
53×node limit
12×fuel
6×unsound
8×done
Counts
28599 → 22460
Compiler

Compiled 1683 to 1150 computations (31.7% saved)

rewrite12.1s (4.9%)

Algorithm
59×batch-egg-rewrite
Rules
31777×log1p-expm1-u
25194×expm1-log1p-u
13392×pow1
13095×add-exp-log
12856×add-log-exp
Stop Event
59×node limit
Counts
501 → 19261

prune9.1s (3.7%)

Counts
38996 → 1720
Compiler

Compiled 62441 to 39165 computations (37.3% saved)

preprocess7.5s (3.1%)

Algorithm
20×egg-herbie
Rules
5179×fmm-def
5054×fma-define
1627×distribute-rgt-in
1585×distribute-lft-in
1517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 9933 to 6206 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-cos, time spent: 249.0ms, 16.0% of total-time
Operation ival-mult, time spent: 237.0ms, 16.0% of total-time
Operation ival-sin, time spent: 211.0ms, 14.0% of total-time
Operation ival-log, time spent: 146.0ms, 10.0% of total-time
Operation ival-pow, time spent: 106.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 92.0ms, 6.0% of total-time
Operation ival-add, time spent: 70.0ms, 5.0% of total-time
Operation ival-sub, time spent: 66.0ms, 4.0% of total-time
Operation ival-exp, time spent: 63.0ms, 4.0% of total-time
Operation ival-tan, time spent: 52.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 51.0ms, 3.0% of total-time
Operation ival-div, time spent: 49.0ms, 3.0% of total-time
Operation ival-acos, time spent: 38.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 34.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 13.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

regimes5.1s (2.1%)

Counts
3161 → 139
Calls

53 calls:

736.0ms
x
600.0ms
b
590.0ms
a
541.0ms
r
252.0ms
s
Compiler

Compiled 1576 to 1113 computations (29.4% saved)

series3.8s (1.5%)

Counts
501 → 9338
Calls

2217 calls:

TimeVariablePointExpression
125.0ms
x
@0
(/ (cos (* 2 x)) (* c (* x s)))
114.0ms
b
@inf
(log (* (sin b) (/ r (cos (- b a)))))
101.0ms
x
@inf
(* (pow x 2) -1/180)
93.0ms
r
@0
(log (* (sin b) (/ r (cos (- b a)))))
85.0ms
hi
@inf
(/ (* (- x lo) (fabs (+ (/ lo hi) 1))) hi)

bsearch702.0ms (0.3%)

Algorithm
24×binary-search
11×left-value
Stop Event
3×predicate-same
21×narrow-enough
Results
289.0ms1942×256valid
310.0ms854×512valid
33.0ms180×256infinite
Compiler

Compiled 4917 to 3559 computations (27.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 309.0ms
Operation ival-tan, time spent: 89.0ms, 29.0% of total-time
Operation ival-sin, time spent: 61.0ms, 20.0% of total-time
Operation ival-pow, time spent: 32.0ms, 10.0% of total-time
Operation ival-add, time spent: 26.0ms, 8.0% of total-time
Operation ival-cos, time spent: 26.0ms, 8.0% of total-time
Operation ival-mult, time spent: 21.0ms, 7.0% of total-time
Operation ival-sub, time spent: 14.0ms, 5.0% of total-time
Operation ival-exp, time spent: 12.0ms, 4.0% of total-time
Operation ival-div, time spent: 8.0ms, 3.0% of total-time
Operation ival-acos, time spent: 8.0ms, 3.0% of total-time
Operation const, time spent: 5.0ms, 2.0% of total-time
Operation ival-neg, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 2.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...