Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

Time bar (total: 69.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (1.5%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample12.0ms (18.1%)

Memory
4.9MiB live, 4.9MiB allocated
Samples
7.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-div: 2.0ms (58.7% of total)
ival-sub: 1.0ms (29.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain16.0ms (23%)

Memory
-3.0MiB live, 5.9MiB allocated
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Samples
9.0ms256×0valid
Compiler

Compiled 17 to 14 computations (17.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-div: 2.0ms (48.4% of total)
ival-sub: 1.0ms (24.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess17.0ms (25.1%)

Memory
-2.3MiB live, 5.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0615
12011
24710
310010
419510
528410
629510
730910
832210
045
065
1105
2145
3195
4265
5365
6515
7745
8965
91045
101065
01065
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0.1%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.8%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 10 to 8 computations (20% saved)

simplify21.0ms (30.3%)

Memory
2.2MiB live, 18.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
195
2135
3155
4165
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

soundness0.0ms (0.3%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
fuel
Compiler

Compiled 5 to 4 computations (20% saved)

preprocess0.0ms (0.6%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 20 to 16 computations (20% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...