Metrics for Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, A

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze32.0ms (2.6%)

Memory

2.8MiB live, 11.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
25%	25%	74.9%	0.1%	0%	0%	0%	3
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	4
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	5
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	6
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	7
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	8
83.6%	83.5%	16.4%	0.1%	0%	0%	0%	9
87.1%	87%	12.9%	0.1%	0%	0%	0%	10
91.2%	91.1%	8.8%	0.1%	0%	0%	0%	11
93.3%	93.2%	6.7%	0.1%	0%	0%	0%	12

Compiler

Compiled 19 to 11 computations (42.1% saved)

sample20.0ms (1.7%)

Memory

0.2MiB live, 7.9MiB allocated

Samples

13.0ms

260×

valid

Precisions

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

ival-mult: 4.0ms (45.3% of total)

ival-add: 2.0ms (22.7% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

Bogosity

explain790.0ms (64.9%)

Memory

2.2MiB live, 669.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
95	-	4	(-1.2711885618578226e-246 2.8760093797907748e-70)	`(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(+.f64 (+.f64 x y) #s(literal 1 binary64))`
0	-	0	-	`(*.f64 x y)`
0	-	0	-	`y`
0	-	0	-	`(+.f64 x y)`
0	-	0	-	`(*.f64 (+.f64 x y) (+.f64 x y))`
0	-	0	-	`(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64)))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))`	o/o	30	0
↳	`(*.f64 x y)`	overflow	30
↳	`(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64)))`	overflow	155
↳	`(*.f64 (+.f64 x y) (+.f64 x y))`	overflow	112
`/.f64`	`(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))`	n/o	24	0
↳	`(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64)))`	overflow	155
↳	`(*.f64 (+.f64 x y) (+.f64 x y))`	overflow	112
`/.f64`	`(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))`	u/n	20	0
↳	`(*.f64 x y)`	underflow	37
`/.f64`	`(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))`	u/u	17	0
↳	`(*.f64 x y)`	underflow	37
↳	`(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64)))`	underflow	17
↳	`(*.f64 (+.f64 x y) (+.f64 x y))`	underflow	17

Confusion

	Predicted +	Predicted -
+	91	4
-	0	161

Precision

1.0

Recall

0.9578947368421052

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	91	0	4
-	0	0	161

Precision?

1.0

Recall?

0.9578947368421052

Freqs

test

number	freq
0	165
1	91

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

5.6123046875

Average Time

0.021923065185546875

Samples

176.0ms

3 072×

valid

Compiler

Compiled 2 064 to 456 computations (77.9% saved)

Precisions

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

ival-mult: 53.0ms (51.9% of total)

ival-add: 27.0ms (26.4% of total)

ival-div: 17.0ms (16.6% of total)

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

exact: 2.0ms (2% of total)

adjust: 1.0ms (1% of total)

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

preprocess322.0ms (26.4%)

Memory

5.5MiB live, 74.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	97
1	129	87
2	718	85
3	4217	85
0	9	17
0	15	17
1	44	17
2	168	17
3	544	17
4	2286	17
5	3087	17
6	3462	17
7	3548	17
8	3577	17
9	3617	17
10	7692	17
11	7814	17
12	7833	17
13	7834	17
14	7834	17
15	7849	17
16	7849	17
17	7849	17
0	9415	16

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))

Outputs
(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))
(/.f64 (*.f64 y x) (fma.f64 (+.f64 y x) (+.f64 y x) (pow.f64 (+.f64 y x) #s(literal 3 binary64))))

Symmetry

(sort x y)

Compiler

Compiled 17 to 9 computations (47.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	64.9%	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))

Compiler

Compiled 34 to 18 computations (47.1% saved)

simplify49.0ms (4%)

Memory

-3.4MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	16	17

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))

Outputs

(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) #s(literal 1 binary64))))

(/.f64 (*.f64 y x) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 y x)) (*.f64 (+.f64 y x) (+.f64 y x))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 17 to 9 computations (47.1% saved)

preprocess3.0ms (0.3%)

Memory: -5.5MiB live, 2.4MiB allocated
Remove: (sort x y)
Compiler: Compiled 174 to 94 computations (46% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze32.0ms (2.6%)

sample20.0ms (1.7%)

explain790.0ms (64.9%)

preprocess322.0ms (26.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify49.0ms (4%)

soundness0.0ms (0%)

preprocess3.0ms (0.3%)

end0.0ms (0%)

Profiling