Herbie run

Date:Saturday, May 25th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024146
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: 7.4min)

sample1.6min (22.3%)

Results
40.1s221052×0valid
13.5s29094×1valid
10.8s65292×0invalid
5.1s14033×1invalid
3.9s6533×3valid
3.3s6678×2valid
834.0ms831×4valid
445.0ms953×2invalid
33.0ms225×0unsamplable
5.0ms6×5exit
4.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 59.2s
ival-mult: 15.0s (25.4% of total)
ival-div: 9.7s (16.5% of total)
ival-pow: 7.1s (12.1% of total)
ival-tan: 4.2s (7.2% of total)
ival-sub: 3.8s (6.4% of total)
ival-add: 3.4s (5.7% of total)
ival-sqrt: 3.1s (5.3% of total)
backward-pass: 2.0s (3.4% of total)
ival-sin: 1.9s (3.2% of total)
ival-exp: 1.8s (3.1% of total)
ival-acos: 1.3s (2.2% of total)
ival-neg: 1.0s (1.7% of total)
ival-cos: 819.0ms (1.4% of total)
const: 712.0ms (1.2% of total)
ival-pi: 647.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 639.0ms (1.1% of total)
ival-log: 477.0ms (0.8% of total)
ival-asin: 437.0ms (0.7% of total)
ival-hypot: 423.0ms (0.7% of total)
ival-<: 309.0ms (0.5% of total)
ival-fabs: 163.0ms (0.3% of total)
ival-atan: 90.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (18.9%)

Algorithm
286×egg-herbie
Rules
106059×fma-define
60172×*-commutative
59272×distribute-lft-in
58648×fma-neg
55125×times-frac
Stop Event
74×saturated
211×node limit
1×unsound
Counts
92508 → 78491

soundness53.6s (12.1%)

Rules
48434×fma-define
46018×log1p-expm1-u
33865×expm1-log1p-u
30000×associate-*r*
29354×times-frac
Stop Event
7×saturated
165×node limit
30×fuel
1×unsound
2×done
Compiler

Compiled 41262 to 12503 computations (69.7% saved)

localize40.5s (9.2%)

Results
10.7s22046×0valid
7.2s719×5exit
4.8s3574×1valid
2.7s4165×0invalid
2.2s771×2valid
1.9s500×3valid
477.0ms393×0unsamplable
426.0ms97×4valid
412.0ms120×3invalid
107.0ms67×2invalid
61.0ms60×1invalid
Compiler

Compiled 36406 to 4336 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.8s
ival-mult: 3.4s (17.3% of total)
ival-tan: 3.3s (16.8% of total)
ival-div: 2.8s (14.1% of total)
ival-pow: 2.7s (13.5% of total)
backward-pass: 1.6s (7.8% of total)
ival-fma: 863.0ms (4.4% of total)
ival-sqrt: 760.0ms (3.8% of total)
ival-add: 719.0ms (3.6% of total)
ival-sub: 633.0ms (3.2% of total)
ival-exp: 632.0ms (3.2% of total)
ival-sin: 516.0ms (2.6% of total)
ival-cos: 293.0ms (1.5% of total)
ival-log: 276.0ms (1.4% of total)
ival-hypot: 235.0ms (1.2% of total)
ival-cbrt: 202.0ms (1% of total)
...c/correct-round.rkt:121:19: 157.0ms (0.8% of total)
ival-asin: 127.0ms (0.6% of total)
const: 124.0ms (0.6% of total)
ival-acos: 123.0ms (0.6% of total)
ival-log1p: 122.0ms (0.6% of total)
ival-neg: 74.0ms (0.4% of total)
ival-expm1: 74.0ms (0.4% of total)
ival-pi: 51.0ms (0.3% of total)
ival-atan: 36.0ms (0.2% of total)
ival-fabs: 7.0ms (0% of total)

rewrite32.8s (7.4%)

Algorithm
127×batch-egg-rewrite
Rules
72160×log1p-expm1-u
53675×expm1-log1p-u
34469×add-exp-log
34313×add-log-exp
34300×pow1
Stop Event
126×node limit
1×unsound
Counts
1892 → 47610

prune27.3s (6.2%)

Counts
110771 → 3287
Compiler

Compiled 152583 to 85065 computations (44.3% saved)

eval22.8s (5.2%)

Compiler

Compiled 3549631 to 470013 computations (86.8% saved)

series19.2s (4.3%)

Counts
1892 → 44898
Calls

12366 calls:

TimeVariablePointExpression
243.0ms
n
@-inf
(log (* 2 (* n (PI))))
211.0ms
t
@inf
(/ (/ 2 (+ (pow (/ k t) 2) 0)) (log (pow (pow (exp (pow t 3)) (pow l -2)) (* (sin k) (tan k)))))
188.0ms
t
@-inf
(/ (/ 2 (+ (pow (/ k t) 2) 0)) (log (pow (pow (exp (pow t 3)) (pow l -2)) (* (sin k) (tan k)))))
185.0ms
l
@0
(log (pow (exp (pow l 2)) (/ (/ 2 (pow k 4)) t)))
184.0ms
k
@inf
(/ (/ 2 (+ (pow (/ k t) 2) 0)) (log (pow (pow (exp (pow t 3)) (pow l -2)) (* (sin k) (tan k)))))

regimes18.8s (4.3%)

Counts
10528 → 713
Calls

156 calls:

1.3s
l
1.2s
t
745.0ms
(sin.f64 th)
600.0ms
k
562.0ms
n
Compiler

Compiled 8278 to 6181 computations (25.3% saved)

bsearch14.3s (3.2%)

Algorithm
287×binary-search
91×left-value
Stop Event
12×predicate-same
275×narrow-enough
Results
8.3s33270×0valid
1.3s5707×0invalid
442.0ms1227×1valid
136.0ms359×2valid
62.0ms98×3valid
27.0ms107×1invalid
22.0ms68×2invalid
16.0ms22×4valid
Compiler

Compiled 84008 to 59867 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-mult: 1.8s (23.7% of total)
ival-pow: 1.5s (19.5% of total)
ival-div: 1.1s (14.6% of total)
ival-add: 770.0ms (9.9% of total)
ival-sin: 678.0ms (8.7% of total)
ival-tan: 425.0ms (5.4% of total)
ival-sub: 389.0ms (5% of total)
ival-exp: 351.0ms (4.5% of total)
ival-fabs: 182.0ms (2.3% of total)
ival-neg: 142.0ms (1.8% of total)
ival-sqrt: 112.0ms (1.4% of total)
const: 75.0ms (1% of total)
ival-cos: 62.0ms (0.8% of total)
backward-pass: 60.0ms (0.8% of total)
...c/correct-round.rkt:121:19: 21.0ms (0.3% of total)
ival-atan: 13.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-hypot: 5.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

analyze11.5s (2.6%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.0s (31.7% of total)
ival-pow: 1.5s (23.8% of total)
ival-div: 821.0ms (12.8% of total)
ival-sqrt: 389.0ms (6% of total)
ival-add: 339.0ms (5.3% of total)
ival-sub: 313.0ms (4.9% of total)
ival-sin: 183.0ms (2.8% of total)
...c/correct-round.rkt:121:19: 162.0ms (2.5% of total)
ival-tan: 157.0ms (2.4% of total)
ival-neg: 86.0ms (1.3% of total)
const: 82.0ms (1.3% of total)
ival-acos: 77.0ms (1.2% of total)
ival-exp: 70.0ms (1.1% of total)
ival-asin: 61.0ms (0.9% of total)
ival-<: 27.0ms (0.4% of total)
ival-pi: 25.0ms (0.4% of total)
ival-fabs: 24.0ms (0.4% of total)
backward-pass: 17.0ms (0.3% of total)
ival-cos: 14.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.5s (2.1%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 45390 to 18100 computations (60.1% saved)

explain9.4s (2.1%)

Results
2.7s13168×0valid
1.9s2236×1valid
454.0ms434×3valid
320.0ms478×2valid
62.0ms56×4valid
11.0ms12×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-mult: 563.0ms (18.5% of total)
ival-pow: 483.0ms (15.8% of total)
ival-div: 468.0ms (15.3% of total)
ival-tan: 342.0ms (11.2% of total)
ival-sub: 232.0ms (7.6% of total)
backward-pass: 184.0ms (6% of total)
ival-add: 148.0ms (4.9% of total)
ival-sqrt: 132.0ms (4.3% of total)
ival-sin: 121.0ms (4% of total)
ival-cos: 87.0ms (2.9% of total)
ival-exp: 82.0ms (2.7% of total)
ival-neg: 41.0ms (1.3% of total)
const: 40.0ms (1.3% of total)
ival-acos: 30.0ms (1% of total)
ival-hypot: 28.0ms (0.9% of total)
ival-pi: 16.0ms (0.5% of total)
...c/correct-round.rkt:121:19: 14.0ms (0.5% of total)
ival-log: 14.0ms (0.5% of total)
ival-asin: 13.0ms (0.4% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...