Hyperbolic arc-(co)secant

Time bar (total: 2.8min)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze3.0ms (0%)

Memory
3.2MiB live, 3.2MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
33.3%12.5%25%0%0%62.5%0%4
60%18.7%12.5%0%0%68.7%0%5
77.8%21.9%6.2%0%0%71.8%0%6
88.2%23.4%3.1%0%0%73.4%0%7
93.9%24.2%1.6%0%0%74.2%0%8
96.9%24.6%0.8%0%0%74.6%0%9
98.4%24.8%0.4%0%0%74.8%0%10
99.2%24.9%0.2%0%0%74.9%0%11
99.6%24.9%0.1%0%0%74.9%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample2.8min (100%)

Memory
-28.3MiB live, 47 788.6MiB allocated
Samples
2.7min3 919×0valid
1.0ms16×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-add: 49.2s (45.7% of total)
ival-sub: 23.0s (21.4% of total)
ival-mult: 21.9s (20.3% of total)
ival-div: 13.5s (12.5% of total)
ival-log: 47.0ms (0% of total)
ival-sqrt: 28.0ms (0% of total)
ival-true: 3.0ms (0% of total)
ival-assert: 2.0ms (0% of total)
exact: 2.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...