Text of a monologue from The Tempest

Time bar (total: 2.6min)

start356.0ms (0.2%)

Memory
-18.2MiB live, 78.3MiB allocated; 717ms collecting garbage

analyze71.0ms (0%)

Memory
2.6MiB live, 89.3MiB allocated; 18ms 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
1 993.1MiB live, 143 264.3MiB allocated; 43.4s collecting garbage
Samples
2.5min3 076×0valid
Precisions
Click to see histograms. Total time spent on operations: 21.2s
const: 6.7s (31.7% of total)
ival-fmax: 4.5s (21.2% of total)
ival-fmin: 2.7s (12.6% of total)
ival-add: 2.2s (10.5% of total)
ival-sub: 1.8s (8.7% of total)
ival-pow2: 1.3s (5.9% of total)
ival-neg: 832.0ms (3.9% of total)
ival-sqrt: 582.0ms (2.7% of total)
ival-mult: 503.0ms (2.4% of total)
adjust: 35.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...