Text of a monologue from The Tempest

Time bar (total: 2.6min)

start352.0ms (0.2%)

Memory
-31.0MiB live, 62.7MiB allocated; 721ms collecting garbage

analyze65.0ms (0%)

Memory
36.5MiB live, 80.7MiB allocated; 9ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 26 942 to 7 593 computations (71.8% saved)

sample2.6min (99.7%)

Memory
2 363.0MiB live, 167 581.6MiB allocated; 49.6s collecting garbage
Samples
2.5min2 991×0valid
Precisions
Click to see histograms. Total time spent on operations: 20.2s
const: 6.1s (30.3% of total)
ival-fmax: 4.4s (21.6% of total)
ival-add: 3.1s (15.5% of total)
ival-sub: 1.9s (9.3% of total)
ival-fmin: 1.5s (7.2% of total)
ival-pow2: 1.3s (6.5% of total)
ival-neg: 827.0ms (4.1% of total)
ival-sqrt: 550.0ms (2.7% of total)
ival-mult: 491.0ms (2.4% of total)
adjust: 31.0ms (0.2% of total)
exact: 24.0ms (0.1% of total)
ival-true: 4.0ms (0% of total)
ival-assert: 2.0ms (0% of total)

end0.0ms (0%)

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

Profiling

Loading profile data...