Hyperbolic sine

Time bar (total: 82.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0.3%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 10 to 9 computations (10% saved)

sample39.0ms (47.6%)

Memory
0.5MiB live, 9.2MiB allocated
Samples
16.0ms51×2valid
9.0ms66×1valid
6.0ms143×0valid
Precisions
Click to see histograms. Total time spent on operations: 27.0ms
ival-exp: 18.0ms (67% of total)
ival-div: 3.0ms (11.2% of total)
adjust: 3.0ms (11.2% of total)
ival-sub: 2.0ms (7.4% of total)
ival-neg: 1.0ms (3.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain43.0ms (52.1%)

Memory
3.2MiB live, 10.7MiB allocated
Confusion
Predicted +Predicted -
+1190
-0137
Precision
1.0
Recall
1.0
Samples
17.0ms51×2valid
10.0ms66×1valid
7.0ms140×0valid
Compiler

Compiled 52 to 46 computations (11.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.0ms
ival-exp: 18.0ms (65.7% of total)
ival-div: 3.0ms (11% of total)
adjust: 3.0ms (11% of total)
ival-sub: 2.0ms (7.3% of total)
ival-neg: 1.0ms (3.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...