The bear head is based on a design by Hazel Fraticelli and Anthony Taconi

Time bar (total: 2.5min)

start26.0ms (0.0%)

Memory
-5.9MiB live, 43.3MiB allocated; 5ms collecting garbage

analyze16.1s (10.6%)

Memory
683.9MiB live, 22 680.6MiB allocated; 5.7s collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
0.0%0.0%99.9%0.1%0.0%0.0%0.0%3
0.0%0.0%99.9%0.1%0.0%0.0%0.0%4
0.0%0.0%99.9%0.1%0.0%0.0%0.0%5
0.0%0.0%99.9%0.1%0.0%0.0%0.0%6
0.0%0.0%99.9%0.1%0.0%0.0%0.0%7
0.0%0.0%99.9%0.1%0.0%0.0%0.0%8
0.0%0.0%99.9%0.1%0.0%0.0%0.0%9
0.4%0.4%99.5%0.1%0.0%0.0%0.0%10
0.8%0.8%99.1%0.1%0.0%0.0%0.0%11
1.3%1.3%98.6%0.1%0.0%0.0%0.0%12
Compiler

Compiled 17 470 to 659 computations (96.2% saved)

sample2.3min (89.4%)

Memory
650.0MiB live, 344 875.3MiB allocated; 41.6s collecting garbage
Samples
2.1min13 901×3exit
8.6s2 058×0valid
36.0ms4exit
34.0ms1exit
13.0ms5exit
Precisions
Click to see histograms. Total time spent on operations: 1.8min
adjust: 17.6s (16.2% of total, 43424.9 MiB)
ival-mult!: 15.6s (14.4% of total, 45595.4 MiB)
ival-exp!: 15.4s (14.2% of total, 39151.6 MiB)
ival-log!: 13.1s (12.1% of total, 32662.8 MiB)
ival-sub!: 10.0s (9.2% of total, 19598.3 MiB)
ival-pow2: 10.0s (9.2% of total, 31094.6 MiB)
ival-add!: 9.4s (8.7% of total, 24956.7 MiB)
ival-div!: 6.1s (5.6% of total, 18386.9 MiB)
ival-sqrt!: 3.5s (3.2% of total, 8673.7 MiB)
ival-neg!: 3.1s (2.8% of total, 9437.7 MiB)
ival-fmax: 2.0s (1.9% of total, 6120.0 MiB)
ival-fmin: 879.0ms (0.8% of total, 2800.0 MiB)
ival-sin: 533.0ms (0.5% of total, 1716.6 MiB)
ival-cos: 528.0ms (0.5% of total, 1548.6 MiB)
ival-fabs: 433.0ms (0.4% of total, 1219.8 MiB)
ival-expm1!: 349.0ms (0.3% of total, 988.3 MiB)
const: 2.0ms (0.0% of total, 17.3 MiB)

end0.0ms (0.0%)

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

Profiling

Loading profile data...