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

analyze129.0ms (12.3%)

Memory

2.4MiB live, 158.5MiB 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)

sample752.0ms (71.6%)

Memory

9.8MiB live, 1 192.1MiB allocated

Samples

473.0ms

8 256×

valid

Precisions

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

ival-div: 130.0ms (48.7% of total)

ival-mult: 127.0ms (47.6% of total)

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

ival-assert: 3.0ms (1.1% of total)

Bogosity

explain80.0ms (7.6%)

Memory

29.1MiB live, 102.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
33	2	(1.2095393905869321e+191 -2.6587083559435417e-68 6.308264803079241e+254 -7.7835441883588355e-193)	2	(-7.001629059491662e-295 7.696656791605762e-25 -6.17497684785349e+157 -4.0856927160626177e-134)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
24	0	-	5	(-6.451235105170598e+237 -9.351041395814673e-229 7.624259085586089e+88 1.5156106365532209e-117)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
23	0	-	2	(-1.8274684671646447e+224 -3.1915334038084606e-22 -3.0959126320525485e+293 -13179707932.191729)	`(*.f64 (/.f64 y z) t)`
0	0	-	0	-	`y`
0	0	-	0	-	`t`
0	0	-	0	-	`z`
0	0	-	0	-	`x`
0	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	18	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	35
↳	`(/.f64 y z)`	underflow	26
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	o/n	15	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	38
↳	`(/.f64 y z)`	overflow	35
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	12	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	11	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	9	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	8	0

Confusion

	Predicted +	Predicted -
+	43	2
-	23	188

Precision

0.6515151515151515

Recall

0.9555555555555556

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	2
-	23	0	188

Precision?

0.6515151515151515

Recall?

0.9555555555555556

Freqs

test

number	freq
0	190
1	59
2	7

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

30.0ms

512×

valid

Compiler

Compiled 97 to 36 computations (62.9% saved)

Precisions

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

ival-div: 7.0ms (48.4% of total)

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

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

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

preprocess10.0ms (0.9%)

Memory

-29.4MiB live, 6.7MiB 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.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB 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

localize20.0ms (1.9%)

Memory

33.1MiB live, 33.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f64 y z)
accuracy	5.179103908337075	(*.f64 (/.f64 y z) t)
accuracy	5.321979754231773	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	7.220018493253413	(/.f64 (*.f64 (/.f64 y z) t) t)

Samples

15.0ms

256×

valid

Compiler

Compiled 58 to 18 computations (69% saved)

Precisions

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

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

ival-mult: 3.0ms (42.5% of total)

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

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

series21.0ms (2%)

Memory

-31.7MiB live, 19.2MiB 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
10.0ms	x	@	0	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
2.0ms	y	@	-inf	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))
2.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))

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.5MiB live, 0.5MiB 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.3MiB live, 1.3MiB allocated
Compiler: Compiled 87 to 18 computations (79.3% saved)

prune1.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB 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

83.8%

Counts

8 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify4.0ms (0.4%)

Memory

8.3MiB live, 8.3MiB 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)

preprocess30.0ms (2.9%)

Memory: 5.1MiB live, 41.1MiB allocated
Compiler: Compiled 166 to 80 computations (51.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze129.0ms (12.3%)

sample752.0ms (71.6%)

explain80.0ms (7.6%)

preprocess10.0ms (0.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize20.0ms (1.9%)

series21.0ms (2%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify4.0ms (0.4%)

soundness0.0ms (0%)

preprocess30.0ms (2.9%)

end0.0ms (0%)

Profiling