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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample23.0ms (2.4%)

Memory

-0.1MiB live, 8.5MiB allocated

Samples

15.0ms

260×

valid

Precisions

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

const: 4.0ms (38% of total)

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

ival-sub: 2.0ms (19% of total)

ival-add: 1.0ms (9.5% 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

explain807.0ms (83.1%)

Memory

7.0MiB live, 617.5MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 y #s(literal 1 binary64))`
-	-	`#s(literal 1 binary64)`
-	-	`(+.f64 (-.f64 (.f64 x (-.f64 y #s(literal 1 binary64))) (.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))`
-	-	`(-.f64 (.f64 x (-.f64 y #s(literal 1 binary64))) (.f64 y #s(literal 1/2 binary64)))`
-	-	`#s(literal 918938533204673/1000000000000000 binary64)`
-	-	`(*.f64 x (-.f64 y #s(literal 1 binary64)))`
-	-	`y`
-	-	`(*.f64 y #s(literal 1/2 binary64))`
-	-	`#s(literal 1/2 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

6.640625

Average Time

0.02593994140625

Samples

212.0ms

3 072×

valid

Compiler

Compiled 1 452 to 504 computations (65.3% saved)

Precisions

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

const: 47.0ms (36.5% of total)

ival-mult: 34.0ms (26.4% of total)

ival-sub: 29.0ms (22.5% of total)

ival-add: 12.0ms (9.3% of total)

exact: 3.0ms (2.3% of total)

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

adjust: 1.0ms (0.8% of total)

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

preprocess117.0ms (12.1%)

Memory

1.5MiB live, 9.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	61
1	75	59
2	196	55
3	617	49
4	1512	45
5	2805	45
6	3394	45
7	3511	45
8	3531	45
9	3533	45
10	3535	45
11	3555	45
0	10	11
0	15	11
1	30	11
2	58	11
3	116	9
4	218	9
5	447	9
6	852	9
7	1252	9
8	1489	9
9	1510	9
0	1510	8

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x (-.f64 y #s(literal 1 binary64))) (.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))

Outputs

(+.f64 (-.f64 (*.f64 x (-.f64 y #s(literal 1 binary64))) (*.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))

(fma.f64 (-.f64 x #s(literal 1/2 binary64)) y (-.f64 #s(literal 918938533204673/1000000000000000 binary64) x))

Compiler

Compiled 11 to 10 computations (9.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(+.f64 (-.f64 (.f64 x (-.f64 y #s(literal 1 binary64))) (.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))

Compiler

Compiled 22 to 20 computations (9.1% saved)

simplify22.0ms (2.2%)

Memory

-1.0MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	23	11
2	37	11
3	48	11
4	65	11
5	88	11
6	89	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x (-.f64 y #s(literal 1 binary64))) (.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))

Outputs

(+.f64 (-.f64 (*.f64 x (-.f64 y #s(literal 1 binary64))) (*.f64 y #s(literal 1/2 binary64))) #s(literal 918938533204673/1000000000000000 binary64))

(+.f64 #s(literal 918938533204673/1000000000000000 binary64) (-.f64 (*.f64 (-.f64 y #s(literal 1 binary64)) x) (*.f64 #s(literal 1/2 binary64) y)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 11 to 10 computations (9.1% saved)

preprocess1.0ms (0.1%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 44 to 40 computations (9.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample23.0ms (2.4%)

explain807.0ms (83.1%)

preprocess117.0ms (12.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify22.0ms (2.2%)

soundness0.0ms (0%)

preprocess1.0ms (0.1%)

end0.0ms (0%)

Profiling