Metrics for Ian Simplification

Memory

1.8MiB live, 1.8MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 15 to 13 computations (13.3% saved)

Memory

-13.8MiB live, 361.5MiB allocated; 137ms collecting garbage

Samples

456.0ms	276×	5	exit
0.0ms	3×	0	valid

Precisions

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

ival-asin: 326.0ms (77.3% of total)

adjust: 63.0ms (14.9% of total)

ival-sqrt: 17.0ms (4% of total)

ival-mult!: 8.0ms (1.9% of total)

ival-sub!: 5.0ms (1.2% of total)

ival-div!: 3.0ms (0.7% of total)

Profiling