analyze124.0ms (6%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
26.7%	25%	68.7%	0.1%	0%	6.2%	0%	5
27.6%	25%	65.6%	0.1%	0%	9.4%	0%	6
49%	37.5%	39%	0.1%	0%	23.4%	0%	7
50.5%	37.5%	36.7%	0.1%	0%	25.8%	0%	8
67.9%	43.7%	20.7%	0.1%	0%	35.5%	0%	9
69.3%	43.7%	19.3%	0.1%	0%	36.9%	0%	10
81.5%	46.8%	10.6%	0.1%	0%	42.4%	0%	11
82.5%	46.8%	9.9%	0.1%	0%	43.2%	0%	12

Compiler

Compiled 19 to 15 computations (21.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 85.0ms

ival-cos: 37.0ms (43.7% of total)

ival-div: 14.0ms (16.5% of total)

ival-mult: 12.0ms (14.2% of total)

ival-neg: 7.0ms (8.3% of total)

ival-acos: 6.0ms (7.1% of total)

ival-add: 4.0ms (4.7% of total)

ival-pi: 3.0ms (3.5% of total)

const: 1.0ms (1.2% of total)

backward-pass: 0.0ms (0% of total)