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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze120.0ms (11.5%)

Memory

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

sample744.0ms (71.4%)

Memory

26.6MiB live, 1 081.5MiB allocated

Samples

472.0ms

8 256×

valid

Precisions

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

ival-div: 135.0ms (52.9% of total)

ival-mult: 112.0ms (43.9% of total)

ival-true: 5.0ms (2% of total)

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

Bogosity

explain93.0ms (8.9%)

Memory

7.5MiB live, 119.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
50	1	(-1.8450725829309163e+66 6.374116032414778e-61 -1.2941316475284123e+262 -1.0729473828003519e-299)	4	(7.45620759946645e-301 -3.610744375279533e-274 -2.3544145540350832e-240 1.2739661375182294e-279)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
21	0	-	1	(1.0731593475044912e+29 -3.8498790598686987e-264 -5.4793257751640034e+51 -7.162691368085564e+145)	`(*.f64 (/.f64 y z) t)`
18	0	-	3	(-3.0252530486641695e+297 -1.742880680148206e-110 8.43086166080358e+207 2.769245674802409e-281)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) 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)`	o/n	24	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	45
↳	`(/.f64 y z)`	overflow	32
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	23	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	35
↳	`(/.f64 y z)`	underflow	21
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	11	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	9	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	9	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	6	0

Confusion

	Predicted +	Predicted -
+	48	3
-	27	178

Precision

0.64

Recall

0.9411764705882353

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	48	0	3
-	27	0	178

Precision?

0.64

Recall?

0.9411764705882353

Freqs

test

number	freq
0	181
1	68
2	7

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

47.0ms

512×

valid

Compiler

Compiled 97 to 36 computations (62.9% saved)

Precisions

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

ival-mult: 20.0ms (72.8% of total)

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

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

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

preprocess4.0ms (0.4%)

Memory

6.3MiB live, 6.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))

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
▶	81.3%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify6.0ms (0.6%)

Memory

-48.4MiB 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

localize20.0ms (1.9%)

Memory

29.5MiB live, 29.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f64 y z)
accuracy	4.099904553275499	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	4.937352121006496	(*.f64 (/.f64 y z) t)
accuracy	11.191186695983703	(/.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 (57.4% of total)

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

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

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

series18.0ms (1.7%)

Memory

-13.1MiB live, 24.1MiB 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
8.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))
1.0ms	t	@	-inf	((* x (/ (* (/ y z) t) t)) (/ (* (/ y z) t) t) (* (/ y z) t) (/ y z))

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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.8MiB live, 1.8MiB 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

81.3%

Counts

8 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify5.0ms (0.5%)

Memory

12.6MiB live, 12.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))

soundness0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Stop Event

1×

done

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess29.0ms (2.8%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze120.0ms (11.5%)

sample744.0ms (71.4%)

explain93.0ms (8.9%)

preprocess4.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.6%)

localize20.0ms (1.9%)

series18.0ms (1.7%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify5.0ms (0.5%)

soundness0.0ms (0%)

preprocess29.0ms (2.8%)

end0.0ms (0%)

Profiling