Metrics for Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, D

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze4.0ms (0.3%)

Memory

1.4MiB live, 1.4MiB allocated

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
50%	50%	50%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample35.0ms (2.3%)

Memory

3.9MiB live, 12.4MiB allocated

Samples

27.0ms

260×

valid

Precisions

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

const: 11.0ms (49.3% of total)

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

ival-add: 3.0ms (13.4% of total)

ival-div: 1.0ms (4.5% of total)

ival-sub: 1.0ms (4.5% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

Bogosity

explain1.3s (88.4%)

Memory

1.1MiB live, 1 043.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
68	-	-	`(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x)))`
0	-	-	`(*.f64 x #s(literal 4481/100000 binary64))`
0	-	-	`#s(literal 99229/100000 binary64)`
0	-	-	`(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))`
0	-	-	`(*.f64 x #s(literal 27061/100000 binary64))`
0	-	-	`(+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))) x))`
0	-	-	`(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))`
0	-	-	`#s(literal 27061/100000 binary64)`
0	-	-	`#s(literal 4481/100000 binary64)`
0	-	-	`#s(literal 230753/100000 binary64)`
0	-	-	`x`
0	-	-	`(.f64 (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))) x)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Total Time

9.392578125

Average Time

0.03668975830078125

Samples

346.0ms

3 072×

valid

Compiler

Compiled 2 748 to 696 computations (74.7% saved)

Precisions

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

const: 128.0ms (50.6% of total)

ival-mult: 54.0ms (21.3% of total)

ival-add: 37.0ms (14.6% of total)

ival-div: 16.0ms (6.3% of total)

ival-sub: 13.0ms (5.1% of total)

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

exact: 2.0ms (0.8% of total)

adjust: 1.0ms (0.4% of total)

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

preprocess112.0ms (7.4%)

Memory

1.9MiB live, 9.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	37	37
2	103	35
3	285	34
4	715	34
5	1276	34
6	1752	34
7	2396	34
8	2457	34
9	2488	34
10	2488	34
0	14	17
0	22	17
1	32	17
2	48	17
3	92	17
4	192	17
5	369	17
6	619	17
7	992	17
8	1578	17
9	2082	17
10	2240	17
11	2296	17
12	2329	17
13	2332	17
14	2332	17
0	2332	14

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Inputs

(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Outputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
(-.f64 x (/.f64 (fma.f64 #s(literal 27061/100000 binary64) x #s(literal 230753/100000 binary64)) (fma.f64 (fma.f64 #s(literal 4481/100000 binary64) x #s(literal 99229/100000 binary64)) x #s(literal 1 binary64))))

Outputs

(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

(-.f64 x (/.f64 (fma.f64 #s(literal 27061/100000 binary64) x #s(literal 230753/100000 binary64)) (fma.f64 (fma.f64 #s(literal 4481/100000 binary64) x #s(literal 99229/100000 binary64)) x #s(literal 1 binary64))))

Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Status

Accuracy

Program

100.0%

(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Compiler

Compiled 34 to 28 computations (17.6% saved)

simplify23.0ms (1.5%)

Memory

3.0MiB live, 18.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	25	17
2	33	17
3	47	17
4	75	17
5	99	17
6	152	17
7	227	17
8	250	17
9	260	17
10	261	17

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Inputs

(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

Outputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
(-.f64 x (/.f64 (+.f64 (.f64 #s(literal 27061/100000 binary64) x) #s(literal 230753/100000 binary64)) (+.f64 (.f64 (+.f64 (*.f64 #s(literal 4481/100000 binary64) x) #s(literal 99229/100000 binary64)) x) #s(literal 1 binary64))))

Outputs

(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))

(-.f64 x (/.f64 (+.f64 (*.f64 #s(literal 27061/100000 binary64) x) #s(literal 230753/100000 binary64)) (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 4481/100000 binary64) x) #s(literal 99229/100000 binary64)) x) #s(literal 1 binary64))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 17 to 14 computations (17.6% saved)

preprocess1.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 68 to 56 computations (17.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	14	17
1	25	17
2	33	17
3	47	17
4	75	17
5	99	17
6	152	17
7	227	17
8	250	17
9	260	17
10	261	17

Iter	Nodes	Cost
0	14	17
1	25	17
2	33	17
3	47	17
4	75	17
5	99	17
6	152	17
7	227	17
8	250	17
9	260	17
10	261	17

start0.0ms (0%)

analyze4.0ms (0.3%)

sample35.0ms (2.3%)

explain1.3s (88.4%)

preprocess112.0ms (7.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify23.0ms (1.5%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	17
1	25	17
2	33	17
3	47	17
4	75	17
5	99	17
6	152	17
7	227	17
8	250	17
9	260	17
10	261	17