Herbie run

Date:Wednesday, November 27th, 2024
Commit:27374272 on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024332
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce: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.3min)

soundness42.6s (21.3%)

Memory
-8.6MiB live, 389.7MiB allocated
Stop Event
262×iter limit
174×node limit
27×fuel
15×done
9×saturated
Compiler

Compiled 52 505 to 14 887 computations (71.6% saved)

sample41.9s (20.9%)

Memory
169.4MiB live, 14 082.6MiB allocated
Samples
17.9s285 419×0valid
7.4s43 937×1valid
4.6s17 008×2valid
269.0ms4 174×0invalid
117.0ms388×3valid
98.0ms974×0exit
52.0ms101×3exit
49.0ms101×4exit
6.0ms44×1exit
Precisions
Click to see histograms. Total time spent on operations: 23.2s
ival-mult: 5.0s (21.6% of total)
ival-add: 2.5s (10.6% of total)
ival-div: 2.1s (9.1% of total)
ival-pow: 2.0s (8.8% of total)
ival-sub: 1.8s (7.9% of total)
const: 1.8s (7.7% of total)
adjust: 1.8s (7.7% of total)
ival-sin: 1.4s (6.2% of total)
ival-<=: 1.2s (5.2% of total)
ival-cos: 984.0ms (4.2% of total)
ival-exp: 362.0ms (1.6% of total)
exact: 360.0ms (1.6% of total)
ival-and: 336.0ms (1.4% of total)
ival-sqrt: 315.0ms (1.4% of total)
ival-neg: 246.0ms (1.1% of total)
ival-pow2: 190.0ms (0.8% of total)
ival-==: 151.0ms (0.7% of total)
ival-true: 123.0ms (0.5% of total)
ival-assert: 118.0ms (0.5% of total)
ival-log1p: 70.0ms (0.3% of total)
ival-atan: 65.0ms (0.3% of total)
ival-expm1: 55.0ms (0.2% of total)
ival-<: 53.0ms (0.2% of total)
ival-tan: 46.0ms (0.2% of total)
ival-pi: 29.0ms (0.1% of total)
ival-hypot: 16.0ms (0.1% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

simplify39.3s (19.6%)

Memory
226.3MiB live, 10 035.8MiB allocated
Algorithm
348×egg-herbie
Stop Event
444×iter limit
235×node limit
128×saturated
Counts
10 400 → 10 265

rewrite23.4s (11.7%)

Memory
80.6MiB live, 9 238.7MiB allocated
Stop Event
301×iter limit
147×node limit
14×saturated
1×unsound
Counts
1 927 → 89 430

localize12.7s (6.4%)

Memory
-31.9MiB live, 4 740.5MiB allocated
Samples
4.6s30 225×0valid
2.5s5 496×1valid
2.3s2 746×2valid
145.0ms149×3valid
74.0ms326×0invalid
55.0ms209×0exit
34.0ms12×5exit
17.0ms5×4valid
Compiler

Compiled 80 727 to 8 815 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 2.0s (27.7% of total)
ival-add: 1.1s (14.5% of total)
ival-div: 967.0ms (13.2% of total)
adjust: 773.0ms (10.6% of total)
ival-pow: 720.0ms (9.8% of total)
ival-sub: 431.0ms (5.9% of total)
const: 366.0ms (5% of total)
ival-tan: 177.0ms (2.4% of total)
ival-sin: 166.0ms (2.3% of total)
ival-cos: 146.0ms (2% of total)
ival-sqrt: 101.0ms (1.4% of total)
ival-neg: 87.0ms (1.2% of total)
ival-exp: 82.0ms (1.1% of total)
ival-pow2: 58.0ms (0.8% of total)
exact: 49.0ms (0.7% of total)
ival-true: 28.0ms (0.4% of total)
ival-expm1: 25.0ms (0.3% of total)
ival-log1p: 17.0ms (0.2% of total)
ival-assert: 14.0ms (0.2% of total)
ival-log: 10.0ms (0.1% of total)
ival-atan: 9.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)

eval11.9s (5.9%)

Memory
280.5MiB live, 9 103.9MiB allocated
Compiler

Compiled 4 469 537 to 354 931 computations (92.1% saved)

preprocess8.5s (4.2%)

Memory
10.5MiB live, 2 148.6MiB allocated
Algorithm
42×egg-herbie
Stop Event
82×iter limit
54×saturated
32×node limit
Compiler

Compiled 67 701 to 10 014 computations (85.2% saved)

explain5.8s (2.9%)

Memory
-133.1MiB live, 3 155.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13165
+.f64#fcancellation37189
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2180
sqrt.f64#foflow-rescue2140
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1750
/.f64#fo/o1520
/.f64#fn/o1500
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1160
-.f64#fnan-rescue1000
/.f64#fu/n950
/.f64#fu/u630
/.f64#fn/u610
/.f64#fo/n440
+.f64#fnan-rescue430
*.f64#fn*u310
*.f64#fn*o280
sqrt.f64#fuflow-rescue240
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue190
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow37
↳(/.f64 i n)overflow19
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow19
Confusion
Predicted +Predicted -
+3886227
-1126527
Precision
0.9719859929964982
Recall
0.9448091417456844
Confusion?
Predicted +Predicted MaybePredicted -
+388615770
-1121936334
Precision?
0.9298528058877645
Recall?
0.9829807926088013
Freqs
test
numberfreq
06754
13548
2403
347
Total Confusion?
Predicted +Predicted MaybePredicted -
+3010
-209
Precision?
0.9393939393939394
Recall?
1.0
Total Time
1156.4814453125
Average Time
0.10755965823218935
Samples
992.0ms16 366×0valid
748.0ms3 726×1valid
383.0ms1 370×2valid
18.0ms42×3valid
Compiler

Compiled 10 840 to 1 926 computations (82.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 350.0ms (24.4% of total)
adjust: 177.0ms (12.3% of total)
ival-add: 171.0ms (11.9% of total)
ival-div: 161.0ms (11.2% of total)
ival-pow: 142.0ms (9.9% of total)
ival-sub: 131.0ms (9.1% of total)
ival-sin: 79.0ms (5.5% of total)
ival-cos: 60.0ms (4.2% of total)
const: 37.0ms (2.6% of total)
ival-exp: 25.0ms (1.7% of total)
ival-sqrt: 20.0ms (1.4% of total)
ival-true: 16.0ms (1.1% of total)
exact: 15.0ms (1% of total)
ival-neg: 13.0ms (0.9% of total)
ival-pow2: 12.0ms (0.8% of total)
ival-assert: 8.0ms (0.6% of total)
ival-atan: 5.0ms (0.3% of total)
ival-log1p: 4.0ms (0.3% of total)
ival-tan: 3.0ms (0.2% of total)
ival-expm1: 3.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

regimes4.5s (2.3%)

Memory
-47.1MiB live, 2 588.6MiB allocated
Counts
4 916 → 607
Calls

96 calls:

427.0ms
x
252.0ms
b
202.0ms
d
196.0ms
c
192.0ms
x1
Compiler

Compiled 8 575 to 5 656 computations (34% saved)

prune3.1s (1.5%)

Memory
-405.7MiB live, 4 519.4MiB allocated
Counts
97 423 → 2 030
Compiler

Compiled 156 023 to 66 714 computations (57.2% saved)

analyze2.4s (1.2%)

Memory
26.0MiB live, 805.2MiB allocated
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
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 402 to 721 computations (48.6% saved)

series2.3s (1.2%)

Memory
-54.2MiB live, 1 140.2MiB allocated
Counts
1 927 → 10 400
Calls

891 calls:

TimeVariablePointExpression
43.0ms
i
@-inf
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))
43.0ms
i
@0
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))
30.0ms
n
@-inf
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))
26.0ms
i
@inf
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))
21.0ms
n
@0
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))

bsearch2.0s (1%)

Memory
7.0MiB live, 741.6MiB allocated
Algorithm
236×binary-search
77×left-value
Stop Event
216×narrow-enough
20×predicate-same
Samples
909.0ms12 561×0valid
81.0ms446×1valid
64.0ms251×2valid
30.0ms452×0invalid
11.0ms22×3valid
3.0ms20×1exit
2.0ms24×0exit
Compiler

Compiled 167 994 to 84 453 computations (49.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 776.0ms
ival-mult: 324.0ms (41.8% of total)
ival-div: 110.0ms (14.2% of total)
ival-add: 108.0ms (13.9% of total)
ival-sub: 82.0ms (10.6% of total)
ival-pow: 47.0ms (6.1% of total)
ival-exp: 24.0ms (3.1% of total)
adjust: 22.0ms (2.8% of total)
ival-neg: 21.0ms (2.7% of total)
ival-sqrt: 12.0ms (1.5% of total)
ival-true: 9.0ms (1.2% of total)
exact: 7.0ms (0.9% of total)
ival-assert: 4.0ms (0.5% of total)
ival-expm1: 4.0ms (0.5% of total)
ival-pi: 1.0ms (0.1% of total)

start2.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...