Jmat.Real.lambertw, estimator

Time bar (total: 832.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze1.0ms (0.2%)

Memory
1.8MiB live, 1.8MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%50%0%0%50%0%2
50%25%25%0%0%50%0%3
66.7%25%12.5%0%0%62.5%0%4
80%25%6.2%0%0%68.7%0%5
88.9%25%3.1%0%0%71.8%0%6
94.1%25%1.6%0%0%73.4%0%7
97%25%0.8%0%0%74.2%0%8
98.5%25%0.4%0%0%74.6%0%9
99.2%25%0.2%0%0%74.8%0%10
99.6%25%0.1%0%0%74.9%0%11
99.8%25%0%0%0%74.9%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample725.0ms (87.2%)

Memory
18.7MiB live, 774.1MiB allocated; 107ms collecting garbage
Samples
533.0ms8 256×0valid
1.0ms12×0invalid
Precisions
Click to see histograms. Total time spent on operations: 316.0ms
ival-log: 270.0ms (85.4% of total)
ival-sub: 41.0ms (13% of total)
adjust: 2.0ms (0.6% of total)
ival-assert: 2.0ms (0.6% of total)
Bogosity

explain87.0ms (10.5%)

Memory
-22.5MiB live, 69.0MiB allocated; 13ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(log.f64 (log.f64 x))
00-0-(log.f64 x)
00-0-(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
25.0ms512×0valid
Compiler

Compiled 34 to 16 computations (52.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
ival-log: 12.0ms (78.3% of total)
ival-sub: 2.0ms (13.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess18.0ms (2.2%)

Memory
28.4MiB live, 28.4MiB allocated; 0ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
046
076
076
Stop Event
iter limit
saturated
iter limit
saturated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...