Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 6.5min)

sample1.4min (21.6%)

Results
38.9s275893×0valid
18.6s54369×1valid
7.7s16397×2valid
715.0ms4250×0invalid
353.0ms202×5exit
146.0ms999×0unsamplable
65.0ms93×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.3s
ival-mult: 11.9s (23.5% of total)
ival-add: 5.8s (11.4% of total)
ival-pow: 5.3s (10.6% of total)
ival-div: 4.6s (9.2% of total)
ival-sub: 4.3s (8.5% of total)
...c/correct-round.rkt:121:19: 3.7s (7.3% of total)
ival-<=: 3.5s (7% of total)
ival-sin: 2.8s (5.6% of total)
backward-pass: 2.2s (4.4% of total)
ival-exp: 979.0ms (1.9% of total)
ival-log: 906.0ms (1.8% of total)
ival-cos: 797.0ms (1.6% of total)
ival-neg: 733.0ms (1.5% of total)
const: 721.0ms (1.4% of total)
ival-sqrt: 532.0ms (1.1% of total)
ival-==: 482.0ms (1% of total)
ival-and: 431.0ms (0.9% of total)
ival-fma: 341.0ms (0.7% of total)
ival-<: 143.0ms (0.3% of total)
ival-atan: 128.0ms (0.3% of total)
ival-tan: 77.0ms (0.2% of total)
ival-pi: 45.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.2min (18.4%)

Algorithm
341×egg-herbie
Rules
119319×fma-define
90305×fma-neg
71948×distribute-lft-in
62069×times-frac
61761×distribute-rgt-in
Stop Event
108×saturated
232×node limit
1×unsound
Counts
76277 → 72332

soundness44.6s (11.5%)

Rules
42914×fma-define
36444×log1p-expm1-u
34692×fma-neg
32404×expm1-log1p-u
26012×distribute-lft-in
Stop Event
8×saturated
141×node limit
26×fuel
1×unsound
16×done
Compiler

Compiled 32238 to 8546 computations (73.5% saved)

localize40.7s (10.5%)

Results
11.8s31422×0valid
5.9s1268×5exit
4.9s3635×1valid
1.9s949×2valid
581.0ms1375×0invalid
151.0ms40×3valid
109.0ms208×0unsamplable
17.0ms2×5valid
12.0ms12×1unsamplable
6.0ms1×4valid
Compiler

Compiled 33712 to 3472 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.6s
ival-mult: 3.4s (23.6% of total)
ival-pow: 2.7s (18.3% of total)
ival-add: 1.6s (10.9% of total)
backward-pass: 1.3s (9.2% of total)
ival-div: 1.3s (9.1% of total)
ival-log1p: 884.0ms (6.1% of total)
ival-sub: 739.0ms (5.1% of total)
ival-fma: 605.0ms (4.2% of total)
...c/correct-round.rkt:121:19: 601.0ms (4.1% of total)
ival-expm1: 466.0ms (3.2% of total)
ival-exp: 243.0ms (1.7% of total)
const: 121.0ms (0.8% of total)
ival-neg: 120.0ms (0.8% of total)
ival-sqrt: 98.0ms (0.7% of total)
ival-cos: 89.0ms (0.6% of total)
ival-sin: 69.0ms (0.5% of total)
ival-cbrt: 56.0ms (0.4% of total)
ival-hypot: 51.0ms (0.3% of total)
ival-log: 26.0ms (0.2% of total)
ival-atan: 25.0ms (0.2% of total)
ival-tan: 11.0ms (0.1% of total)
ival-pi: 6.0ms (0% of total)
ival-e: 2.0ms (0% of total)

rewrite35.0s (9%)

Algorithm
147×batch-egg-rewrite
Rules
89656×log1p-expm1-u
70118×expm1-log1p-u
31071×pow1
29094×add-exp-log
27662×add-log-exp
Stop Event
147×node limit
Counts
1543 → 49673

prune25.6s (6.6%)

Counts
109479 → 2133
Compiler

Compiled 81556 to 40442 computations (50.4% saved)

eval22.9s (5.9%)

Compiler

Compiled 3267222 to 418688 computations (87.2% saved)

bsearch16.6s (4.3%)

Algorithm
307×binary-search
15×left-value
Stop Event
30×predicate-same
277×narrow-enough
Results
11.5s31090×0valid
1.7s5590×1valid
273.0ms552×2valid
133.0ms1182×0invalid
62.0ms453×0unsamplable
Compiler

Compiled 98194 to 55353 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.8s (35.9% of total)
ival-pow: 758.0ms (15.3% of total)
ival-div: 675.0ms (13.6% of total)
ival-add: 647.0ms (13% of total)
ival-sub: 482.0ms (9.7% of total)
ival-neg: 214.0ms (4.3% of total)
ival-exp: 150.0ms (3% of total)
backward-pass: 136.0ms (2.7% of total)
const: 75.0ms (1.5% of total)
ival-sqrt: 36.0ms (0.7% of total)
ival-log: 6.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

series14.5s (3.7%)

Counts
1543 → 26604
Calls

7107 calls:

TimeVariablePointExpression
167.0ms
x
@0
(pow (/ (* x (cbrt 1/6)) (cbrt (tan x))) 3)
167.0ms
x
@inf
(cbrt (cos x))
158.0ms
x
@0
(pow x 8)
150.0ms
e
@-inf
(+ (* e (+ 1 (/ (+ c d) e))) (+ b a))
147.0ms
t
@-inf
(* t 1/25000000000000000000000000000000)

preprocess10.5s (2.7%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 24746 to 7718 computations (68.8% saved)

explain8.7s (2.2%)

Results
2.1s16200×0valid
2.1s3954×1valid
1.1s1332×2valid
27.0ms18×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 623.0ms (21.2% of total)
ival-sub: 460.0ms (15.7% of total)
ival-add: 433.0ms (14.7% of total)
backward-pass: 388.0ms (13.2% of total)
ival-pow: 332.0ms (11.3% of total)
ival-div: 204.0ms (6.9% of total)
ival-log: 111.0ms (3.8% of total)
ival-sin: 92.0ms (3.1% of total)
ival-cos: 75.0ms (2.6% of total)
...c/correct-round.rkt:121:19: 50.0ms (1.7% of total)
const: 47.0ms (1.6% of total)
ival-exp: 42.0ms (1.4% of total)
ival-neg: 28.0ms (1% of total)
ival-sqrt: 25.0ms (0.9% of total)
ival-fma: 16.0ms (0.5% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes7.3s (1.9%)

Counts
4836 → 620
Calls

96 calls:

1.0s
x
455.0ms
u
391.0ms
b
345.0ms
x1
312.0ms
d
Compiler

Compiled 4249 to 2608 computations (38.6% saved)

analyze6.0s (1.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-mult: 1.2s (34.8% of total)
ival-pow: 485.0ms (13.5% of total)
ival-add: 351.0ms (9.8% of total)
ival-sub: 324.0ms (9% of total)
ival-div: 296.0ms (8.3% of total)
ival-<=: 270.0ms (7.5% of total)
ival-exp: 147.0ms (4.1% of total)
ival-sqrt: 102.0ms (2.8% of total)
ival-fabs: 63.0ms (1.8% of total)
ival-if: 58.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 52.0ms (1.5% of total)
ival-==: 50.0ms (1.4% of total)
const: 48.0ms (1.3% of total)
ival-and: 29.0ms (0.8% of total)
ival-neg: 24.0ms (0.7% of total)
ival-<: 22.0ms (0.6% of total)
backward-pass: 7.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)
ival-cos: 2.0ms (0.1% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...