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

Time bar (total: 2.8min)

start28.0ms (0.0%)

Memory
-4.4MiB live, 37.9MiB allocated; 15ms collecting garbage

analyze15.8s (9.5%)

Memory
492.3MiB live, 15 733.8MiB allocated; 6.8s collecting garbage
Algorithm
1×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.5min (90.5%)

Memory
2 277.5MiB live, 172 988.8MiB allocated; 1.1min collecting garbage
Samples
2.1min15 144×3exit
8.7s2 361×0valid
46.0ms4×4exit
28.0ms2×5exit
16.0ms5×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.1min
adjust: 22.5s (17.9% of total)
ival-log: 18.4s (14.7% of total)
ival-mult!: 17.4s (13.9% of total)
ival-pow2: 17.3s (13.8% of total)
ival-exp: 15.9s (12.7% of total)
ival-sub!: 7.4s (5.9% of total)
ival-div!: 6.4s (5.1% of total)
ival-add!: 6.2s (4.9% of total)
ival-neg: 5.7s (4.6% of total)
ival-sqrt: 4.0s (3.2% of total)
ival-fmax: 1.7s (1.3% of total)
ival-fmin: 831.0ms (0.7% of total)
ival-expm1: 490.0ms (0.4% of total)
ival-sin: 420.0ms (0.3% of total)
ival-fabs: 407.0ms (0.3% of total)
ival-cos: 396.0ms (0.3% of total)
const: 1.0ms (0.0% of total)

end0.0ms (0.0%)

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

Profiling

Loading profile data...