Herbie run

Date:Tuesday, March 12th, 2024
Commit:ac5701bb on zane-regimes-unsafe-ops
Hostname:nightly with Racket 8.11.1
Seed:2024072
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.2min)

sample1.3min (30.4%)

Results
17.7s116174×256valid
9.1s23254×512valid
31.2s16263×8192exit
6.0s16004×1024valid
798.0ms4933×256infinite
4.5s4755×2048valid
556.0ms4027×256invalid
191.0ms1364×256unsamplable
Precisions
Click to see histograms. Total time spent on operations: 49.2s
Operation ival-pow, time spent: 14.1s, 29.0% of total-time
Operation ival-exp, time spent: 8.0s, 16.0% of total-time
Operation ival-log, time spent: 6.1s, 12.0% of total-time
Operation ival-cos, time spent: 4.2s, 9.0% of total-time
Operation ival-mult, time spent: 2.3s, 5.0% of total-time
Operation ival-sin, time spent: 1.9s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 3.0% of total-time
Operation ival-sinh, time spent: 1.5s, 3.0% of total-time
Operation ival-div, time spent: 1.4s, 3.0% of total-time
Operation ival-<=, time spent: 1.4s, 3.0% of total-time
Operation ival-fmod, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 949.0ms, 2.0% of total-time
Operation ival-add, time spent: 945.0ms, 2.0% of total-time
Operation ival-sub, time spent: 896.0ms, 2.0% of total-time
Operation ival-neg, time spent: 717.0ms, 1.0% of total-time
Operation ival-acos, time spent: 602.0ms, 1.0% of total-time
Operation const, time spent: 572.0ms, 1.0% of total-time
Operation ival-and, time spent: 236.0ms, 0.0% of total-time
Operation ival-<, time spent: 215.0ms, 0.0% of total-time
Operation ival-==, time spent: 190.0ms, 0.0% of total-time
Operation ival-or, time spent: 92.0ms, 0.0% of total-time
Operation ival-atan, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 50.0ms, 0.0% of total-time
Operation ival->, time spent: 33.0ms, 0.0% of total-time
Bogosity

localize43.7s (17.2%)

Compiler

Compiled 9702 to 4981 computations (48.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.3s
Operation ival-pow, time spent: 5.3s, 18.0% of total-time
Operation ival-add, time spent: 4.6s, 15.0% of total-time
Operation ival-mult, time spent: 4.4s, 14.0% of total-time
Operation ival-log, time spent: 2.4s, 8.0% of total-time
Operation ival-asin, time spent: 2.2s, 7.0% of total-time
Operation composed, time spent: 2.0s, 7.0% of total-time
Operation ival-sub, time spent: 1.7s, 6.0% of total-time
Operation ival-exp, time spent: 1.3s, 4.0% of total-time
Operation ival-cos, time spent: 1.1s, 4.0% of total-time
Operation ival-div, time spent: 952.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 909.0ms, 3.0% of total-time
Operation ival-acos, time spent: 631.0ms, 2.0% of total-time
Operation const, time spent: 578.0ms, 2.0% of total-time
Operation ival-sin, time spent: 556.0ms, 2.0% of total-time
Operation ival-tan, time spent: 511.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 510.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 307.0ms, 1.0% of total-time
Operation ival-neg, time spent: 298.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 94.0ms, 0.0% of total-time
Operation ival-pi, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation ival-atan, time spent: 8.0ms, 0.0% of total-time

analyze30.7s (12.1%)

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: 22.3s
Operation ival-<=, time spent: 7.7s, 34.0% of total-time
Operation ival-sin, time spent: 5.1s, 23.0% of total-time
Operation ival-cos, time spent: 5.0s, 23.0% of total-time
Operation ival-tan, time spent: 1.5s, 7.0% of total-time
Operation ival-add, time spent: 793.0ms, 4.0% of total-time
Operation ival-==, time spent: 583.0ms, 3.0% of total-time
Operation ival-and, time spent: 375.0ms, 2.0% of total-time
Operation const, time spent: 298.0ms, 1.0% of total-time
Operation ival-sub, time spent: 213.0ms, 1.0% of total-time
Operation ival-or, time spent: 191.0ms, 1.0% of total-time
Operation ival-mult, time spent: 147.0ms, 1.0% of total-time
Operation ival-pow, time spent: 118.0ms, 1.0% of total-time
Operation ival-div, time spent: 60.0ms, 0.0% of total-time
Operation ival-exp, time spent: 54.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 48.0ms, 0.0% of total-time
Operation ival-log, time spent: 24.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-atan, time spent: 3.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

soundness21.2s (8.3%)

Rules
35172×fma-define
22930×times-frac
21592×fma-neg
18794×associate-*r*
17672×*-commutative
Stop Event
6×saturated
58×node limit
4×unsound
Compiler

Compiled 10202 to 5285 computations (48.2% saved)

eval20.7s (8.2%)

Compiler

Compiled 957748 to 555008 computations (42.1% saved)

simplify17.6s (6.9%)

Algorithm
86×egg-herbie
Rules
42540×fma-define
36954×fma-neg
31936×distribute-lft-in
30974×*-commutative
29924×associate-*r*
Stop Event
20×saturated
60×node limit
13×fuel
6×unsound
7×done
Counts
28022 → 23637
Compiler

Compiled 1811 to 1227 computations (32.2% saved)

rewrite13.1s (5.2%)

Algorithm
66×batch-egg-rewrite
Rules
37397×log1p-expm1-u
31068×expm1-log1p-u
25670×log-prod
21934×unpow-prod-down
19280×prod-diff
Stop Event
66×node limit
Counts
521 → 18473

prune10.4s (4.1%)

Counts
41505 → 1774
Compiler

Compiled 60363 to 38758 computations (35.8% saved)

preprocess7.1s (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 9315 to 5320 computations (42.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-mult, time spent: 240.0ms, 15.0% of total-time
Operation ival-pow, time spent: 234.0ms, 14.0% of total-time
Operation ival-cos, time spent: 206.0ms, 13.0% of total-time
Operation ival-log, time spent: 203.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 102.0ms, 6.0% of total-time
Operation ival-div, time spent: 101.0ms, 6.0% of total-time
Operation ival-sub, time spent: 88.0ms, 5.0% of total-time
Operation ival-sin, time spent: 82.0ms, 5.0% of total-time
Operation ival-exp, time spent: 67.0ms, 4.0% of total-time
Operation ival-add, time spent: 67.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 58.0ms, 4.0% of total-time
Operation ival-tan, time spent: 55.0ms, 3.0% of total-time
Operation ival-acos, time spent: 38.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 33.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-neg, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

regimes6.2s (2.4%)

Counts
4002 → 156
Calls

55 calls:

1.0s
a
750.0ms
x
684.0ms
b
593.0ms
r
281.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2017 to 1433 computations (29% saved)

series5.2s (2.1%)

Counts
521 → 9549
Calls

2250 calls:

TimeVariablePointExpression
214.0ms
y
@-inf
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
162.0ms
x
@0
(* (pow 2 1/8) (* (pow 2 1/4) x))
150.0ms
r
@0
(log (* (sin b) r))
131.0ms
a
@0
(/ (* r b) (sqrt (cos a)))
128.0ms
x
@0
(pow (* (pow x 4) 4) 1/4)

bsearch968.0ms (0.4%)

Algorithm
8×left-value
31×binary-search
Stop Event
2×predicate-same
29×narrow-enough
Results
431.0ms2511×256valid
401.0ms1243×512valid
34.0ms198×256infinite
Compiler

Compiled 6035 to 4283 computations (29% saved)

Precisions
Click to see histograms. Total time spent on operations: 464.0ms
Operation ival-tan, time spent: 101.0ms, 22.0% of total-time
Operation ival-cos, time spent: 96.0ms, 21.0% of total-time
Operation ival-sin, time spent: 77.0ms, 17.0% of total-time
Operation ival-mult, time spent: 68.0ms, 15.0% of total-time
Operation ival-add, time spent: 39.0ms, 8.0% of total-time
Operation ival-div, time spent: 25.0ms, 5.0% of total-time
Operation ival-pow, time spent: 25.0ms, 5.0% of total-time
Operation ival-exp, time spent: 10.0ms, 2.0% of total-time
Operation ival-sub, time spent: 10.0ms, 2.0% of total-time
Operation const, time spent: 7.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 3.0ms, 1.0% of total-time
Operation ival-neg, time spent: 2.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...