Metrics for Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze138.0ms (13%)

Memory

9.0MiB live, 242.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample762.0ms (72.1%)

Memory

-4.6MiB live, 1 088.3MiB allocated

Samples

475.0ms

8 256×

valid

Precisions

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

ival-div: 133.0ms (54.3% of total)

ival-mult: 102.0ms (41.6% of total)

ival-true: 7.0ms (2.9% of total)

ival-assert: 4.0ms (1.6% of total)

Bogosity

explain78.0ms (7.4%)

Memory

5.2MiB live, 128.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
44	-	2	(1.648507322697513e+46 -1.4622796082557944e-204 1.4623236126964659e-139 -1.1877523254958751e-250)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
32	-	2	(3.040064636264022e+204 1.03327599341926e-120 1.4401210728659633e+196 96.3993335642027)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
28	-	1	(3.040064636264022e+204 1.03327599341926e-120 1.4401210728659633e+196 96.3993335642027)	`(*.f64 (/.f64 y z) t)`
0	-	0	-	`y`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`x`
0	-	0	-	`(/.f64 y z)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	22	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	35
↳	`(/.f64 y z)`	underflow	27
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	o/n	20	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	47
↳	`(/.f64 y z)`	overflow	40
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	16	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	14	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	14	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	13	0

Confusion

	Predicted +	Predicted -
+	58	3
-	24	171

Precision

0.7073170731707317

Recall

0.9508196721311475

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	58	0	3
-	24	0	171

Precision?

0.7073170731707317

Recall?

0.9508196721311475

Freqs

test

number	freq
0	174
1	65
2	17

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

31.0ms

512×

valid

Compiler

Compiled 97 to 36 computations (62.9% saved)

Precisions

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

ival-div: 8.0ms (51.6% of total)

ival-mult: 6.0ms (38.7% of total)

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

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

preprocess4.0ms (0.3%)

Memory

7.6MiB live, 7.6MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	78.3%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 y z)
cost-diff	0	(*.f64 (/.f64 y z) t)
cost-diff	0	(/.f64 (*.f64 (/.f64 y z) t) t)
cost-diff	0	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
x
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)
y
z
t

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
x
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)
y
z
t

localize22.0ms (2.1%)

Memory

-6.4MiB live, 31.8MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f64 y z)
accuracy	6.329135342275332	(*.f64 (/.f64 y z) t)
accuracy	7.167098460855459	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	10.138817398553503	(/.f64 (*.f64 (/.f64 y z) t) t)

Samples

17.0ms

256×

valid

Compiler

Compiled 58 to 18 computations (69% saved)

Precisions

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

ival-mult: 5.0ms (57.8% of total)

ival-div: 4.0ms (46.2% of total)

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

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

series12.0ms (1.1%)

Memory

19.3MiB live, 19.3MiB allocated

Counts

4 → 3

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)

Outputs
(/ (* x y) z)
(/ y z)
(/ (* t y) z)

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
1.0ms	y	@	0	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
1.0ms	z	@	0	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
1.0ms	z	@	-inf	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
1.0ms	t	@	0	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Counts

3 → 3

Calls

Call 1

Inputs
(/ (* x y) z)
(/ y z)
(/ (* t y) z)

Outputs
(/ (* x y) z)
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(/ y z)
(/.f64 (*.f64 (/.f64 y z) t) t)
(/ (* t y) z)
(*.f64 (/.f64 y z) t)

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)

eval1.0ms (0.1%)

Memory: 1.7MiB live, 1.7MiB allocated
Compiler: Compiled 87 to 18 computations (79.3% saved)

prune1.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	7	0	7
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	1	8

Accuracy

78.3%

Counts

8 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	78.3%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify6.0ms (0.6%)

Memory

-28.5MiB live, 9.4MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

done

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess32.0ms (3%)

Memory: -8.8MiB live, 43.0MiB allocated
Compiler: Compiled 166 to 80 computations (51.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze138.0ms (13%)

sample762.0ms (72.1%)

explain78.0ms (7.4%)

preprocess4.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize22.0ms (2.1%)

series12.0ms (1.1%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify6.0ms (0.6%)

soundness0.0ms (0%)

preprocess32.0ms (3%)

end0.0ms (0%)

Profiling