Herbie run

Date:Friday, January 26th, 2024
Commit:4da0cfad 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.7min)

sample1.3min (28.4%)

Results
27.3s115988×256valid
15.9s23230×512valid
10.0s16122×1024valid
16.8s12696×8192exit
1.2s4997×256infinite
1.1s4843×256invalid
5.3s4783×2048valid
1.1s2200×1024invalid
235.0ms1236×256unsamplable
451.0ms1192×512invalid
7.0ms4×4096invalid
3.0ms1×8192invalid
1.0ms1×2048invalid
Precisions
Click to see histograms. Total time spent on operations: 42.9s
Operation ival-log, time spent: 7.2s, 17.0% of total-time
Operation ival-cos, time spent: 4.3s, 10.0% of total-time
Operation ival-pow, time spent: 4.0s, 9.0% of total-time
Operation ival-mult, time spent: 3.0s, 7.0% of total-time
Operation ival-exp, time spent: 2.8s, 7.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 6.0% of total-time
Operation ival-<=, time spent: 2.6s, 6.0% of total-time
Operation ival-sinh, time spent: 2.3s, 5.0% of total-time
Operation const, time spent: 2.0s, 5.0% of total-time
Operation ival-div, time spent: 1.9s, 5.0% of total-time
Operation ival-sin, time spent: 1.8s, 4.0% of total-time
Operation ival-tan, time spent: 1.5s, 4.0% of total-time
Operation ival-sub, time spent: 1.3s, 3.0% of total-time
Operation ival-add, time spent: 1.2s, 3.0% of total-time
Operation ival-fmod, time spent: 974.0ms, 2.0% of total-time
Operation ival-acos, time spent: 826.0ms, 2.0% of total-time
Operation ival-neg, time spent: 691.0ms, 2.0% of total-time
Operation ival-and, time spent: 530.0ms, 1.0% of total-time
Operation ival-==, time spent: 285.0ms, 1.0% of total-time
Operation ival-<, time spent: 269.0ms, 1.0% of total-time
Operation ival->=, time spent: 219.0ms, 1.0% of total-time
Operation ival-or, time spent: 182.0ms, 0.0% of total-time
Operation ival-atan, time spent: 101.0ms, 0.0% of total-time
Operation ival->, time spent: 57.0ms, 0.0% of total-time
Bogosity

localize56.0s (20%)

Compiler

Compiled 7907 to 3699 computations (53.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.3s
Operation ival-pow, time spent: 7.5s, 21.0% of total-time
Operation ival-asin, time spent: 5.5s, 15.0% of total-time
Operation ival-div, time spent: 3.3s, 9.0% of total-time
Operation ival-log, time spent: 2.8s, 8.0% of total-time
Operation ival-mult, time spent: 2.6s, 7.0% of total-time
Operation ival-sub, time spent: 1.9s, 5.0% of total-time
Operation const, time spent: 1.8s, 5.0% of total-time
Operation ival-cos, time spent: 1.7s, 5.0% of total-time
Operation ival-fma, time spent: 1.5s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 4.0% of total-time
Operation ival-exp, time spent: 1.4s, 4.0% of total-time
Operation ival-add, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 812.0ms, 2.0% of total-time
Operation ival-sin, time spent: 799.0ms, 2.0% of total-time
Operation ival-acos, time spent: 586.0ms, 2.0% of total-time
Operation ival-neg, time spent: 408.0ms, 1.0% of total-time
Operation ival-tan, time spent: 221.0ms, 1.0% of total-time
Operation ival-e, time spent: 216.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 207.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 204.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 138.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 89.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 25.0ms, 0.0% of total-time
Operation ival-pi, time spent: 21.0ms, 0.0% of total-time
Operation ival-atan, time spent: 21.0ms, 0.0% of total-time

soundness32.0s (11.4%)

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)

analyze28.9s (10.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: 14.4s
Operation ival-<=, time spent: 4.6s, 32.0% of total-time
Operation ival-tan, time spent: 3.0s, 21.0% of total-time
Operation ival-sub, time spent: 2.2s, 16.0% of total-time
Operation const, time spent: 1.0s, 7.0% of total-time
Operation ival-and, time spent: 859.0ms, 6.0% of total-time
Operation ival-add, time spent: 663.0ms, 5.0% of total-time
Operation ival-or, time spent: 388.0ms, 3.0% of total-time
Operation ival-==, time spent: 306.0ms, 2.0% of total-time
Operation ival-pow, time spent: 227.0ms, 2.0% of total-time
Operation ival-mult, time spent: 218.0ms, 2.0% of total-time
Operation ival-exp, time spent: 191.0ms, 1.0% of total-time
Operation ival-cos, time spent: 150.0ms, 1.0% of total-time
Operation ival-sin, time spent: 138.0ms, 1.0% of total-time
Operation ival-atan, time spent: 136.0ms, 1.0% of total-time
Operation ival-div, time spent: 69.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 64.0ms, 0.0% of total-time
Operation ival-log, time spent: 51.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 48.0ms, 0.0% of total-time
Operation ival-neg, time spent: 37.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 19.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

eval22.3s (8%)

Compiler

Compiled 1184378 to 686230 computations (42.1% saved)

simplify16.4s (5.8%)

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)

rewrite14.0s (5%)

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

prune10.1s (3.6%)

Counts
42079 → 1502
Compiler

Compiled 53788 to 35919 computations (33.2% saved)

preprocess9.5s (3.4%)

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: 2.2s
Operation ival-cos, time spent: 601.0ms, 27.0% of total-time
Operation ival-mult, time spent: 238.0ms, 11.0% of total-time
Operation ival-pow, time spent: 217.0ms, 10.0% of total-time
Operation ival-log, time spent: 174.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 167.0ms, 8.0% of total-time
Operation ival-add, time spent: 118.0ms, 5.0% of total-time
Operation const, time spent: 117.0ms, 5.0% of total-time
Operation ival-sub, time spent: 113.0ms, 5.0% of total-time
Operation ival-sin, time spent: 85.0ms, 4.0% of total-time
Operation ival-exp, time spent: 81.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 67.0ms, 3.0% of total-time
Operation ival-div, time spent: 61.0ms, 3.0% of total-time
Operation ival-tan, time spent: 51.0ms, 2.0% of total-time
Operation ival-acos, time spent: 46.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 34.0ms, 2.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time
Operation ival-atan, time spent: 6.0ms, 0.0% of total-time

regimes5.4s (1.9%)

Counts
2088 → 131
Calls

53 calls:

1.1s
x
808.0ms
a
432.0ms
b
363.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
363.0ms
r
Compiler

Compiled 1333 to 939 computations (29.6% saved)

series4.6s (1.6%)

Counts
435 → 8034
Calls

2100 calls:

TimeVariablePointExpression
149.0ms
a
@inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
130.0ms
y
@inf
(exp.f64 (log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x))))
129.0ms
b
@-inf
(log.f64 (*.f64 (sin.f64 b) r))
93.0ms
r
@inf
(log.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a))))
91.0ms
b
@-inf
(log.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 b)))

bsearch1.5s (0.5%)

Algorithm
35×binary-search
Stop Event
2×predicate-same
33×narrow-enough
Results
669.0ms3207×256valid
740.0ms1148×512valid
43.0ms189×256infinite
6.0ms33×256unsamplable
Compiler

Compiled 6059 to 4527 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 784.0ms
Operation ival-cos, time spent: 298.0ms, 38.0% of total-time
Operation ival-sin, time spent: 145.0ms, 18.0% of total-time
Operation ival-mult, time spent: 70.0ms, 9.0% of total-time
Operation ival-add, time spent: 53.0ms, 7.0% of total-time
Operation ival-div, time spent: 47.0ms, 6.0% of total-time
Operation ival-tan, time spent: 43.0ms, 5.0% of total-time
Operation ival-pow, time spent: 41.0ms, 5.0% of total-time
Operation const, time spent: 34.0ms, 4.0% of total-time
Operation ival-exp, time spent: 26.0ms, 3.0% of total-time
Operation ival-acos, time spent: 11.0ms, 1.0% of total-time
Operation ival-sub, time spent: 9.0ms, 1.0% of total-time
Operation ival-neg, time spent: 7.0ms, 1.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...