Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 3.4min)

sample55.4s (27.4%)

Results
10.3s109010×0valid
20.7s48766×1valid
10.1s16605×5exit
2.6s7344×2valid
511.0ms3958×0invalid
127.0ms1398×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 34.3s
ival-cos: 5.9s (17.1% of total)
backward-pass: 5.9s (17.1% of total)
ival-div: 4.0s (11.7% of total)
ival-mult: 2.6s (7.5% of total)
ival-pow: 2.1s (6.2% of total)
ival-log: 1.7s (4.8% of total)
ival-tan: 1.6s (4.6% of total)
ival-sqrt: 1.5s (4.3% of total)
ival-sin: 1.4s (4.2% of total)
ival-exp: 1.3s (3.7% of total)
ival-add: 1.2s (3.5% of total)
ival-<=: 995.0ms (2.9% of total)
ival-sub: 886.0ms (2.6% of total)
ival-fmod: 874.0ms (2.5% of total)
ival-acos: 750.0ms (2.2% of total)
ival-sinh: 381.0ms (1.1% of total)
ival-neg: 321.0ms (0.9% of total)
const: 263.0ms (0.8% of total)
ival-==: 255.0ms (0.7% of total)
ival-and: 126.0ms (0.4% of total)
ival-<: 110.0ms (0.3% of total)
ival-or: 104.0ms (0.3% of total)
ival-atan: 57.0ms (0.2% of total)
ival->=: 54.0ms (0.2% of total)
ival->: 27.0ms (0.1% of total)
Bogosity

soundness26.4s (13.1%)

Rules
16651×fma-define
14324×log1p-expm1-u
12732×times-frac
10851×expm1-log1p-u
9998×distribute-lft-in
Stop Event
7×saturated
55×node limit
12×fuel
2×unsound
8×done
Compiler

Compiled 10263 to 3045 computations (70.3% saved)

localize23.0s (11.4%)

Algorithm
72×egg-herbie
Rules
24588×fma-define
16735×fma-neg
12770×unsub-neg
11941×sub-neg
10880×distribute-lft-in
Stop Event
41×saturated
31×node limit
Results
2.9s11776×0valid
4.9s4567×1valid
1.9s1090×2valid
3.7s398×5exit
102.0ms306×0invalid
80.0ms262×0unsamplable
67.0ms33×3valid
Compiler

Compiled 9057 to 1380 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-pow: 1.5s (15.2% of total)
ival-cos: 1.2s (11.7% of total)
ival-mult: 846.0ms (8.6% of total)
ival-tan: 820.0ms (8.3% of total)
backward-pass: 736.0ms (7.5% of total)
ival-div: 730.0ms (7.4% of total)
ival-log: 706.0ms (7.2% of total)
ival-exp: 697.0ms (7.1% of total)
ival-fmod: 502.0ms (5.1% of total)
ival-sin: 485.0ms (4.9% of total)
ival-sub: 320.0ms (3.2% of total)
ival-add: 317.0ms (3.2% of total)
ival-sqrt: 271.0ms (2.7% of total)
ival-neg: 123.0ms (1.2% of total)
ival-fma: 115.0ms (1.2% of total)
ival-acos: 103.0ms (1% of total)
ival-log1p: 81.0ms (0.8% of total)
ival-expm1: 80.0ms (0.8% of total)
ival-asin: 59.0ms (0.6% of total)
const: 55.0ms (0.6% of total)
ival-sinh: 47.0ms (0.5% of total)
ival-cbrt: 44.0ms (0.4% of total)
ival-hypot: 34.0ms (0.3% of total)
ival-fabs: 18.0ms (0.2% of total)
ival-e: 6.0ms (0.1% of total)
ival-atan: 6.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)

rewrite23.0s (11.4%)

Algorithm
71×batch-egg-rewrite
Rules
36799×log1p-expm1-u
31381×expm1-log1p-u
17866×pow1
15438×add-exp-log
14762×add-log-exp
Stop Event
71×node limit
Counts
691 → 22826

simplify20.6s (10.2%)

Algorithm
91×egg-herbie
Rules
26074×fma-define
19725×fma-neg
17689×distribute-lft-in
16702×times-frac
16412×*-commutative
Stop Event
20×saturated
64×node limit
7×unsound
Counts
34073 → 30249

prune12.3s (6.1%)

Counts
52786 → 1895
Compiler

Compiled 68416 to 36779 computations (46.2% saved)

eval10.5s (5.2%)

Compiler

Compiled 1159263 to 178145 computations (84.6% saved)

regimes7.6s (3.8%)

Counts
4062 → 175
Calls

55 calls:

1.1s
a
883.0ms
b
746.0ms
x
548.0ms
r
423.0ms
y
Compiler

Compiled 1780 to 1256 computations (29.4% saved)

preprocess7.3s (3.6%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 7032 to 3386 computations (51.8% saved)

series6.5s (3.2%)

Counts
691 → 11247
Calls

2718 calls:

TimeVariablePointExpression
270.0ms
a
@-inf
(/ (sin b) (+ (* (cos b) (cos a)) (* (neg (sin b)) (sin a))))
269.0ms
l
@-inf
(/ (pow (pow (sqrt l) (* 2 (sqrt (exp w)))) (sqrt (exp w))) (exp w))
158.0ms
l
@inf
(pow (sqrt l) (* 2 (sqrt (exp w))))
149.0ms
w
@inf
(/ (pow (pow (sqrt l) (* 2 (sqrt (exp w)))) (sqrt (exp w))) (exp w))
138.0ms
w
@0
(sqrt (exp w))

explain3.6s (1.8%)

Results
1.1s6660×0valid
1.1s3012×1valid
333.0ms462×2valid
506.0ms106×5exit
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult: 371.0ms (21.7% of total)
ival-cos: 344.0ms (20.1% of total)
ival-exp: 244.0ms (14.2% of total)
ival-log: 124.0ms (7.2% of total)
ival-tan: 106.0ms (6.2% of total)
ival-sub: 95.0ms (5.5% of total)
backward-pass: 75.0ms (4.4% of total)
ival-sin: 66.0ms (3.9% of total)
ival-sqrt: 62.0ms (3.6% of total)
ival-pow: 44.0ms (2.6% of total)
ival-add: 42.0ms (2.5% of total)
ival-fmod: 40.0ms (2.3% of total)
ival-div: 38.0ms (2.2% of total)
ival-acos: 21.0ms (1.2% of total)
ival-sinh: 17.0ms (1% of total)
const: 12.0ms (0.7% of total)
ival-neg: 8.0ms (0.5% of total)
ival-atan: 4.0ms (0.2% of total)

analyze3.5s (1.7%)

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 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-<=: 377.0ms (24.2% of total)
ival-mult: 176.0ms (11.3% of total)
ival-cos: 149.0ms (9.6% of total)
ival-sin: 126.0ms (8.1% of total)
ival-pow: 117.0ms (7.5% of total)
ival-tan: 114.0ms (7.3% of total)
ival-add: 88.0ms (5.7% of total)
ival-fmod: 55.0ms (3.5% of total)
ival-exp: 50.0ms (3.2% of total)
ival-div: 47.0ms (3% of total)
ival-and: 46.0ms (3% of total)
ival-sub: 42.0ms (2.7% of total)
const: 34.0ms (2.2% of total)
ival-==: 30.0ms (1.9% of total)
ival-or: 22.0ms (1.4% of total)
ival-sqrt: 19.0ms (1.2% of total)
ival-log: 18.0ms (1.2% of total)
ival-neg: 17.0ms (1.1% of total)
ival-sinh: 11.0ms (0.7% of total)
backward-pass: 7.0ms (0.4% of total)
ival-<: 4.0ms (0.3% of total)
ival->: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

bsearch2.5s (1.3%)

Algorithm
50×binary-search
9×left-value
Stop Event
50×narrow-enough
Results
1.6s3330×1valid
312.0ms2894×0valid
174.0ms288×2valid
2.0ms16×0unsamplable
Compiler

Compiled 8651 to 6325 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 537.0ms (31.2% of total)
ival-sin: 340.0ms (19.7% of total)
ival-tan: 229.0ms (13.3% of total)
ival-mult: 223.0ms (13% of total)
ival-exp: 95.0ms (5.5% of total)
backward-pass: 64.0ms (3.7% of total)
ival-div: 61.0ms (3.5% of total)
ival-add: 57.0ms (3.3% of total)
ival-pow: 28.0ms (1.6% of total)
ival-fmod: 25.0ms (1.5% of total)
ival-sub: 19.0ms (1.1% of total)
ival-acos: 19.0ms (1.1% of total)
ival-sqrt: 9.0ms (0.5% of total)
ival-neg: 9.0ms (0.5% of total)
const: 7.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...