Text of a monologue from The Tempest

Time bar (total: 2.6min)

start321.0ms (0.2%)

Memory
-42.7MiB live, 57.5MiB allocated; 652ms collecting garbage

analyze65.0ms (0%)

Memory
26.8MiB live, 69.9MiB allocated; 8ms 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.8%)

Memory
1 943.9MiB live, 148 760.8MiB allocated; 43.5s collecting garbage
Samples
2.5min3 159×0valid
Precisions
Click to see histograms. Total time spent on operations: 20.1s
const: 6.5s (32.3% of total)
ival-fmax: 4.4s (21.8% of total)
ival-sub: 2.3s (11.6% of total)
ival-add: 2.2s (10.9% of total)
ival-fmin: 1.5s (7.3% of total)
ival-pow2: 1.3s (6.2% of total)
ival-neg: 854.0ms (4.2% of total)
ival-sqrt: 572.0ms (2.8% of total)
ival-mult: 492.0ms (2.4% of total)
adjust: 35.0ms (0.2% of total)
exact: 23.0ms (0.1% of total)
ival-assert: 3.0ms (0% of total)
ival-true: 3.0ms (0% of total)

end0.0ms (0%)

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

Profiling

Loading profile data...