Herbie run

Date:Friday, January 26th, 2024
Commit:906dabff on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024026
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.1min (25.5%)

Results
23.2s115988×256valid
12.1s23230×512valid
8.2s16122×1024valid
15.1s12696×8192exit
972.0ms4997×256infinite
842.0ms4843×256invalid
5.1s4783×2048valid
1.1s2200×1024invalid
228.0ms1236×256unsamplable
305.0ms1192×512invalid
7.0ms4×4096invalid
3.0ms1×8192invalid
1.0ms1×2048invalid
Precisions
Click to see histograms. Total time spent on operations: 36.4s
Operation ival-log, time spent: 6.8s, 19.0% of total-time
Operation ival-cos, time spent: 4.3s, 12.0% of total-time
Operation ival-pow, time spent: 4.2s, 11.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 7.0% of total-time
Operation ival-mult, time spent: 2.4s, 6.0% of total-time
Operation ival-exp, time spent: 2.2s, 6.0% of total-time
Operation ival-sinh, time spent: 1.9s, 5.0% of total-time
Operation ival-sin, time spent: 1.8s, 5.0% of total-time
Operation ival-div, time spent: 1.6s, 4.0% of total-time
Operation ival-<=, time spent: 1.5s, 4.0% of total-time
Operation ival-tan, time spent: 1.2s, 3.0% of total-time
Operation ival-fmod, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation ival-add, time spent: 883.0ms, 2.0% of total-time
Operation ival-acos, time spent: 820.0ms, 2.0% of total-time
Operation const, time spent: 616.0ms, 2.0% of total-time
Operation ival-neg, time spent: 547.0ms, 2.0% of total-time
Operation ival-and, time spent: 266.0ms, 1.0% of total-time
Operation ival-<, time spent: 215.0ms, 1.0% of total-time
Operation ival-==, time spent: 196.0ms, 1.0% of total-time
Operation ival-or, time spent: 98.0ms, 0.0% of total-time
Operation ival-atan, time spent: 77.0ms, 0.0% of total-time
Operation ival->=, time spent: 74.0ms, 0.0% of total-time
Operation ival->, time spent: 34.0ms, 0.0% of total-time
Bogosity

localize52.0s (19.7%)

Compiler

Compiled 7907 to 3699 computations (53.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.5s
Operation ival-pow, time spent: 7.3s, 22.0% of total-time
Operation ival-asin, time spent: 5.1s, 16.0% of total-time
Operation ival-log, time spent: 2.7s, 8.0% of total-time
Operation ival-mult, time spent: 2.5s, 8.0% of total-time
Operation ival-cos, time spent: 1.7s, 5.0% of total-time
Operation ival-sub, time spent: 1.6s, 5.0% of total-time
Operation ival-fma, time spent: 1.4s, 4.0% of total-time
Operation ival-div, time spent: 1.3s, 4.0% of total-time
Operation ival-exp, time spent: 1.2s, 4.0% of total-time
Operation ival-add, time spent: 1.2s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 4.0% of total-time
Operation ival-log1p, time spent: 1.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 3.0% of total-time
Operation ival-sin, time spent: 844.0ms, 3.0% of total-time
Operation const, time spent: 584.0ms, 2.0% of total-time
Operation ival-acos, time spent: 575.0ms, 2.0% of total-time
Operation ival-tan, time spent: 419.0ms, 1.0% of total-time
Operation ival-neg, time spent: 247.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 221.0ms, 1.0% of total-time
Operation ival-e, time spent: 174.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 148.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 137.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 22.0ms, 0.0% of total-time
Operation ival-pi, time spent: 16.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

soundness31.7s (12%)

Rules
55506×fma-def
37994×log1p-expm1-u
34986×associate-*r*
32102×log-prod
31076×prod-diff
Stop Event
6×saturated
106×node limit
7×unsound
Compiler

Compiled 11470 to 5592 computations (51.2% saved)

eval26.5s (10%)

Compiler

Compiled 1184378 to 686230 computations (42.1% 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
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.2%54.8%16.2%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-<=, time spent: 3.9s, 45.0% of total-time
Operation ival-tan, time spent: 1.2s, 14.0% of total-time
Operation ival-add, time spent: 843.0ms, 10.0% of total-time
Operation ival-and, time spent: 434.0ms, 5.0% of total-time
Operation ival-mult, time spent: 347.0ms, 4.0% of total-time
Operation const, time spent: 327.0ms, 4.0% of total-time
Operation ival-==, time spent: 298.0ms, 3.0% of total-time
Operation ival-sub, time spent: 233.0ms, 3.0% of total-time
Operation ival-pow, time spent: 217.0ms, 3.0% of total-time
Operation ival-or, time spent: 213.0ms, 2.0% of total-time
Operation ival-cos, time spent: 193.0ms, 2.0% of total-time
Operation ival-sin, time spent: 122.0ms, 1.0% of total-time
Operation ival-exp, time spent: 63.0ms, 1.0% of total-time
Operation ival-div, time spent: 59.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 42.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 39.0ms, 0.0% of total-time
Operation ival-log, time spent: 38.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.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-<, time spent: 0.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

simplify15.5s (5.9%)

Algorithm
83×egg-herbie
Rules
46694×fma-def
31222×log-prod
28090×times-frac
26152×distribute-lft-in
23416×sqr-pow
Stop Event
20×saturated
58×node limit
10×fuel
5×unsound
10×done
Counts
26526 → 21015
Compiler

Compiled 1238 to 855 computations (30.9% saved)

rewrite12.8s (4.9%)

Algorithm
63×batch-egg-rewrite
Rules
34472×log1p-expm1-u
27720×expm1-log1p-u
20654×expm1-udef
20346×log-prod
19424×prod-diff
Stop Event
63×node limit
Counts
435 → 18492

prune11.7s (4.4%)

Counts
42079 → 1502
Compiler

Compiled 53788 to 35919 computations (33.2% saved)

preprocess7.9s (3%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6950×fma-neg
6346×distribute-lft-neg-in
5212×div-sub
4916×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 7361 to 4230 computations (42.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-cos, time spent: 220.0ms, 16.0% of total-time
Operation ival-mult, time spent: 184.0ms, 13.0% of total-time
Operation ival-log, time spent: 170.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 145.0ms, 10.0% of total-time
Operation ival-pow, time spent: 93.0ms, 7.0% of total-time
Operation ival-add, time spent: 79.0ms, 6.0% of total-time
Operation ival-sin, time spent: 73.0ms, 5.0% of total-time
Operation ival-exp, time spent: 70.0ms, 5.0% of total-time
Operation ival-sub, time spent: 69.0ms, 5.0% of total-time
Operation ival-sinh, time spent: 64.0ms, 5.0% of total-time
Operation ival-tan, time spent: 51.0ms, 4.0% of total-time
Operation ival-div, time spent: 45.0ms, 3.0% of total-time
Operation ival-acos, time spent: 42.0ms, 3.0% of total-time
Operation const, time spent: 37.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 33.0ms, 2.0% of total-time
Operation ival-neg, time spent: 18.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

regimes6.4s (2.4%)

Counts
2088 → 131
Calls

53 calls:

1.1s
x
785.0ms
a
629.0ms
b
590.0ms
r
370.0ms
s
Compiler

Compiled 1333 to 939 computations (29.6% saved)

series5.9s (2.2%)

Counts
435 → 8034
Calls

2100 calls:

TimeVariablePointExpression
1.0s
x
@0
(pow.f64 (E.f64) (log.f64 (*.f64 x (sqrt.f64 2))))
201.0ms
r
@inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 b) r))))
195.0ms
r
@0
(log.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a))))
183.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
171.0ms
b
@-inf
(log.f64 (*.f64 (sin.f64 b) r))

bsearch1.8s (0.7%)

Algorithm
35×binary-search
Stop Event
2×predicate-same
33×narrow-enough
Results
741.0ms3207×256valid
817.0ms1148×512valid
41.0ms189×256infinite
5.0ms33×256unsamplable
Compiler

Compiled 6059 to 4527 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 767.0ms
Operation ival-cos, time spent: 330.0ms, 43.0% of total-time
Operation ival-sin, time spent: 134.0ms, 17.0% of total-time
Operation ival-div, time spent: 64.0ms, 8.0% of total-time
Operation ival-mult, time spent: 57.0ms, 7.0% of total-time
Operation ival-tan, time spent: 49.0ms, 6.0% of total-time
Operation ival-add, time spent: 41.0ms, 5.0% of total-time
Operation ival-pow, time spent: 35.0ms, 5.0% of total-time
Operation ival-exp, time spent: 21.0ms, 3.0% of total-time
Operation const, time spent: 14.0ms, 2.0% of total-time
Operation ival-acos, time spent: 11.0ms, 1.0% of total-time
Operation ival-sub, time spent: 7.0ms, 1.0% of total-time
Operation ival-neg, time spent: 5.0ms, 1.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...