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

analyze1.0ms (0%)

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
100%	50%	0%	0.1%	0%	50%	0%	2

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample9.4s (96.2%)

Results

2.1s	8256×	valid-rival
747.0ms	8233×	valid-sollya
115.0ms	23×	exit-sollya

Bogosity

preprocess315.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1293×	`fma-neg`
278×	`times-frac`
261×	`fma-define`
195×	`distribute-lft-neg-in`
177×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	382
1	95	324
2	264	300
3	727	288
4	1825	288
5	3895	288
6	4488	288
7	4594	288
8	4624	288
9	4628	288
10	4628	288
11	5234	288
12	5234	288

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x)))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 (neg.f64 y) (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x))))))
(neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 (neg.f64 y) (.f64 #s(literal 3 binary64) (sqrt.f64 x)))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 y #s(literal 9 binary64)))) (/.f64 x (.f64 #s(literal 3 binary64) (sqrt.f64 y))))

Outputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) (*.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x))))
(fma.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x)) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/9 binary64) x)))
(+.f64 #s(literal 1 binary64) (fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) (/.f64 #s(literal -1/9 binary64) x)))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) (*.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x))))
(fma.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x)) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/9 binary64) x)))
(+.f64 #s(literal 1 binary64) (fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) (/.f64 #s(literal -1/9 binary64) x)))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x)))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) (neg.f64 x)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x)))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) (neg.f64 x)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 (neg.f64 x)))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal -1/9 binary64) x) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 (neg.f64 x)))))
(+.f64 (/.f64 #s(literal 1/9 binary64) x) (fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 (neg.f64 x))) #s(literal 1 binary64)))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 (neg.f64 y) (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x)))
(+.f64 #s(literal 1 binary64) (fma.f64 y (/.f64 #s(literal 1/3 binary64) (sqrt.f64 x)) (/.f64 #s(literal -1/9 binary64) x)))
(neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x))))))
(neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) (neg.f64 x)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 (neg.f64 x))))))
(+.f64 #s(literal -1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) (neg.f64 x)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 (neg.f64 x)))))
(+.f64 (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 (neg.f64 x))) (+.f64 (/.f64 #s(literal -1/9 binary64) x) #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal -1/9 binary64) x) (fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 (neg.f64 x))) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal -1/9 binary64) x) (fma.f64 y (/.f64 #s(literal 1/3 binary64) (sqrt.f64 (neg.f64 x))) #s(literal -1 binary64)))
(neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 (neg.f64 y) (.f64 #s(literal 3 binary64) (sqrt.f64 x)))))
(+.f64 #s(literal -1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) (*.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x)))))
(+.f64 #s(literal -1 binary64) (fma.f64 #s(literal -1/3 binary64) (/.f64 y (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x)))
(fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 y #s(literal 9 binary64)))) (/.f64 x (.f64 #s(literal 3 binary64) (sqrt.f64 y))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) y)) (/.f64 x (.f64 #s(literal 3 binary64) (sqrt.f64 y)))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) y) (/.f64 (/.f64 x #s(literal 3 binary64)) (sqrt.f64 y))))
(+.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal -1/9 binary64) y) (/.f64 (/.f64 x #s(literal 3 binary64)) (sqrt.f64 y))))
(fma.f64 x (/.f64 #s(literal -1/3 binary64) (sqrt.f64 y)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) y)))

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Compiler

Compiled 32 to 24 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

25×	`neg-mul-1`
19×	`unsub-neg`
18×	`*-commutative`
13×	`distribute-rgt-neg-in`
12×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	50
1	29	50
2	44	50
3	68	50
4	88	50
5	130	50
6	190	50
7	196	50

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Outputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 16 to 12 computations (25% saved)

preprocess44.0ms (0.4%)

Compiler: Compiled 96 to 72 computations (25% saved)

Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, D

analyze1.0ms (0%)

sample9.4s (96.2%)

preprocess315.0ms (3.2%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify7.0ms (0.1%)

soundness1.0ms (0%)

preprocess44.0ms (0.4%)

end0.0ms (0%)

Profiling