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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

Samples

Precisions

Click to see histograms. Total time spent on operations: 1.4min

ival-exp!: 14.8s (18.0% of total, 1654.5 MiB)

adjust: 14.4s (17.5% of total, 1908.8 MiB)

ival-log!: 12.7s (15.4% of total, 1334.9 MiB)

ival-mult!: 11.5s (14.0% of total, 1615.1 MiB)

ival-pow2: 6.9s (8.4% of total, 1053.1 MiB)

ival-add!: 5.6s (6.8% of total, 817.9 MiB)

ival-sub!: 4.7s (5.7% of total, 669.8 MiB)

ival-div!: 4.7s (5.7% of total, 599.0 MiB)

ival-sqrt!: 2.2s (2.6% of total, 287.1 MiB)

ival-neg!: 1.9s (2.3% of total, 296.0 MiB)

ival-fmax: 995.0ms (1.2% of total, 181.4 MiB)

ival-fmin: 532.0ms (0.6% of total, 92.4 MiB)

ival-sin: 388.0ms (0.5% of total, 60.4 MiB)

ival-cos: 358.0ms (0.4% of total, 57.3 MiB)

ival-fabs: 356.0ms (0.4% of total, 56.6 MiB)

ival-expm1!: 327.0ms (0.4% of total, 44.4 MiB)

const: 8.0ms (0.0% of total, 1.2 MiB)

Allocations

Profiling