Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

Memory

8.4MiB live, 21 051.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
25%	24.9%	74.7%	0.3%	0%	0%	0%	8
25%	24.9%	74.7%	0.3%	0%	0%	0%	9
25%	24.9%	74.7%	0.3%	0%	0%	0%	10
37.5%	37.4%	62.3%	0.3%	0%	0%	0%	11
37.5%	37.4%	62.3%	0.3%	0%	0%	0%	12

Compiler

Compiled 21 to 20 computations (4.8% saved)

Memory

-5.1MiB live, 20 610.3MiB allocated

Samples

1.2min

3 226×

valid

Precisions

Click to see histograms. Total time spent on operations: 44.7s

ival-mult: 38.7s (86.5% of total)

ival-sub: 6.0s (13.4% of total)

ival-div: 20.0ms (0% of total)

ival-add: 15.0ms (0% of total)

exact: 3.0ms (0% of total)

ival-true: 2.0ms (0% of total)

ival-assert: 1.0ms (0% of total)

Profiling