Hyperbolic tangent

Time bar (total: 3.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

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

Compiled 15 to 9 computations (40% saved)

sample3.1s (93.8%)

Memory
73.3MiB live, 2 921.2MiB allocated
Samples
1.1s2 970×2valid
797.0ms4 727×1valid
473.0ms7 711×0exit
35.0ms559×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-exp: 1.3s (65% of total)
adjust: 177.0ms (8.8% of total)
ival-div: 165.0ms (8.2% of total)
ival-sub: 149.0ms (7.4% of total)
ival-add: 122.0ms (6.1% of total)
ival-neg: 73.0ms (3.6% of total)
ival-true: 12.0ms (0.6% of total)
ival-assert: 6.0ms (0.3% of total)
Bogosity

explain204.0ms (6.2%)

Memory
-34.9MiB live, 219.9MiB allocated
Samples
74.0ms174×2valid
51.0ms298×1valid
3.0ms40×0valid
Compiler

Compiled 70 to 18 computations (74.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 106.0ms
ival-exp: 75.0ms (70.5% of total)
adjust: 10.0ms (9.4% of total)
ival-div: 7.0ms (6.6% of total)
ival-add: 5.0ms (4.7% of total)
ival-sub: 5.0ms (4.7% of total)
ival-neg: 3.0ms (2.8% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...