Lanczos kernel

Time bar (total: 1.8s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze20.0ms (1.1%)

Memory
33.9MiB live, 33.9MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
50%0%0%100%0%0%0%2
50%0%0%100%0%0%0%3
75%0%0%100%0%0%0%4
75%0%0%100%0%0%0%5
87.5%0%0%100%0%0%0%6
87.5%0%0%100%0%0%0%7
93.7%0%0%100%0%0%0%8
93.7%0%0%100%0%0%0%9
96.9%0%0%100%0%0%0%10
96.9%0%0%100%0%0%0%11
98.4%0%0%100%0%0%0%12
Compiler

Compiled 37 to 21 computations (43.2% saved)

sample1.3s (71.7%)

Memory
-18.5MiB live, 1 744.6MiB allocated
Samples
959.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 764.0ms
ival-mult: 153.0ms (20% of total)
ival-sin: 122.0ms (16% of total)
const: 121.0ms (15.8% of total)
ival-sinu: 117.0ms (15.3% of total)
ival-div: 100.0ms (13.1% of total)
ival-<=: 82.0ms (10.7% of total)
ival-pi: 36.0ms (4.7% of total)
ival-and: 22.0ms (2.9% of total)
exact: 9.0ms (1.2% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain491.0ms (27.2%)

Memory
14.3MiB live, 716.9MiB allocated
Samples
50.0ms512×0valid
Compiler

Compiled 190 to 34 computations (82.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.0ms
ival-mult: 10.0ms (28.1% of total)
ival-sinu: 8.0ms (22.5% of total)
ival-sin: 7.0ms (19.7% of total)
ival-div: 6.0ms (16.8% of total)
ival-pi: 3.0ms (8.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...