init-K

Time bar (total: 2.6min)

start0.0ms (0.0%)

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

analyze7.1s (4.6%)

Memory
17.6MiB live, 568.4MiB allocated; 319ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%12.5%87.5%0.0%0.0%0.0%0
0.0%0.0%12.5%87.5%0.0%0.0%0.0%1
0.0%0.0%12.5%87.5%0.0%0.0%0.0%2
0.0%0.0%12.5%87.5%0.0%0.0%0.0%3
0.0%0.0%12.5%87.5%0.0%0.0%0.0%4
0.0%0.0%12.5%87.5%0.0%0.0%0.0%5
0.0%0.0%12.5%87.5%0.0%0.0%0.0%6
0.0%0.0%12.5%87.5%0.0%0.0%0.0%7
25.0%3.1%9.3%87.5%0.0%0.0%0.0%8
25.0%3.1%9.3%87.5%0.0%0.0%0.0%9
25.0%3.1%9.3%87.5%0.0%0.0%0.0%10
25.0%3.1%9.3%87.5%0.0%0.0%0.0%11
25.0%3.1%9.3%87.5%0.0%0.0%0.0%12
Compiler

Compiled 50 to 35 computations (30.0% saved)

sample2.5min (95.4%)

Memory
28.8MiB live, 12 199.4MiB allocated; 5.8s collecting garbage
Samples
1.5min7 458×1valid
49.8s5 406×1invalid
1.3s503×0invalid
155.0ms73×0valid
2.0ms1×2valid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-log!: 50.4s (40.7% of total, 3707.8 MiB)
ival-tan: 34.1s (27.5% of total, 2522.6 MiB)
ival-sin: 14.6s (11.8% of total, 1202.0 MiB)
adjust: 9.6s (7.8% of total, 741.2 MiB)
ival-mult!: 6.1s (4.9% of total, 627.8 MiB)
ival-add!: 4.8s (3.9% of total, 290.2 MiB)
ival-sub!: 2.8s (2.2% of total, 320.0 MiB)
ival-div!: 1.5s (1.2% of total, 195.7 MiB)
ival-pi: 0.0ms (0.0% of total, 0.0 MiB)

end0.0ms (0.0%)

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

Profiling

Loading profile data...