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

analyze75.0ms (2.8%)

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%	49.9%	0.2%	0%	49.9%	0%	3
0%	0%	49.9%	0.2%	0%	49.9%	0%	4
0%	0%	49.9%	0.2%	0%	49.9%	0%	5
0%	0%	49.9%	0.2%	0%	49.9%	0%	6
0%	0%	25%	0.2%	0%	74.9%	0%	7
0%	0%	25%	0.2%	0%	74.9%	0%	8
0%	0%	25%	0.2%	0%	74.9%	0%	9
0%	0%	25%	0.2%	0%	74.9%	0%	10
50%	12.5%	12.5%	0.2%	0%	74.9%	0%	11
50%	12.5%	12.5%	0.2%	0%	74.9%	0%	12

Compiler

Compiled 18 to 13 computations (27.8% saved)

sample1.9s (71.5%)

Results

1.2s	6616×	body	256	valid
366.0ms	676×	body	1024	valid
341.0ms	914×	body	512	valid
18.0ms	24×	body	2048	valid
4.0ms	26×	body	256	infinite
1.0ms	5×	body	256	invalid

Bogosity

preprocess680.0ms (25.7%)

Algorithm

1×	egg-herbie

Rules

752×	`associate-+r+`
693×	`+-commutative`
530×	`*-commutative`
522×	`fma-def`
358×	`distribute-neg-in`

Problems

256×	`(log.f64 (-.f64 1 y))`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	856
1	173	792
2	502	772
3	1320	764
4	3456	764
5	5637	764
6	6728	764
7	7364	764
8	7671	764
9	7802	764
10	7855	764
11	7855	764
12	7893	764
13	7916	764
14	7916	764

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t))
(neg.f64 (-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(-.f64 (+.f64 (.f64 y (log.f64 x)) (.f64 z (log.f64 (-.f64 1 x)))) t)
(-.f64 (+.f64 (.f64 z (log.f64 y)) (.f64 x (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (.f64 t (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) x)
(-.f64 (+.f64 (.f64 x (log.f64 z)) (.f64 y (log.f64 (-.f64 1 z)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 t)) (.f64 z (log.f64 (-.f64 1 t)))) y)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 t (log.f64 (-.f64 1 y)))) z)

Outputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 y)) (*.f64 x (log.f64 y))) t)
(fma.f64 z (log1p.f64 (neg.f64 y)) (-.f64 (*.f64 x (log.f64 y)) t))
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 y)) (*.f64 x (log.f64 y))) t)
(fma.f64 z (log1p.f64 (neg.f64 y)) (-.f64 (*.f64 x (log.f64 y)) t))
(-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (neg.f64 x) (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) t)
(-.f64 (-.f64 (.f64 z (log1p.f64 (neg.f64 y))) (.f64 x (log.f64 y))) t)
(-.f64 (*.f64 z (log1p.f64 (neg.f64 y))) (fma.f64 x (log.f64 y) t))
(-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t)
(-.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t)
(fma.f64 x (log.f64 (neg.f64 y)) (-.f64 (*.f64 z (log1p.f64 y)) t))
(-.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log1p.f64 y))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (neg.f64 z))) t)
(-.f64 (-.f64 (.f64 x (log.f64 y)) (.f64 z (log1p.f64 (neg.f64 y)))) t)
(-.f64 (*.f64 x (log.f64 y)) (fma.f64 z (log1p.f64 (neg.f64 y)) t))
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t))
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t))
(fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 (neg.f64 y)) t))
(neg.f64 (-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (fma.f64 (neg.f64 x) (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) t))
(+.f64 (neg.f64 (-.f64 (.f64 z (log1p.f64 (neg.f64 y))) (.f64 x (log.f64 y)))) t)
(+.f64 t (-.f64 (.f64 x (log.f64 y)) (.f64 z (log1p.f64 (neg.f64 y)))))
(fma.f64 z (neg.f64 (log1p.f64 (neg.f64 y))) (fma.f64 x (log.f64 y) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t))
(neg.f64 (-.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log.f64 (-.f64 1 (neg.f64 y))))) t))
(+.f64 (neg.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log1p.f64 y)))) t)
(-.f64 t (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log1p.f64 y))))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (neg.f64 z))) t))
(+.f64 (neg.f64 (-.f64 (.f64 x (log.f64 y)) (.f64 z (log1p.f64 (neg.f64 y))))) t)
(+.f64 t (-.f64 (.f64 z (log1p.f64 (neg.f64 y))) (.f64 x (log.f64 y))))
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 y)) t) (*.f64 x (log.f64 y)))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(neg.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(neg.f64 (fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 (neg.f64 y)) t)))
(-.f64 (+.f64 (.f64 y (log.f64 x)) (.f64 z (log.f64 (-.f64 1 x)))) t)
(-.f64 (fma.f64 y (log.f64 x) (*.f64 z (log.f64 (-.f64 1 x)))) t)
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 x)) (*.f64 y (log.f64 x))) t)
(-.f64 (fma.f64 y (log.f64 x) (*.f64 z (log1p.f64 (neg.f64 x)))) t)
(fma.f64 y (log.f64 x) (fma.f64 z (log1p.f64 (neg.f64 x)) (neg.f64 t)))
(-.f64 (+.f64 (.f64 z (log.f64 y)) (.f64 x (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 z (log.f64 y) (*.f64 x (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 x (log1p.f64 (neg.f64 y)) (*.f64 (log.f64 y) z)) t)
(fma.f64 x (log1p.f64 (neg.f64 y)) (-.f64 (*.f64 (log.f64 y) z) t))
(-.f64 (+.f64 (.f64 t (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) x)
(-.f64 (fma.f64 t (log.f64 y) (*.f64 z (log.f64 (-.f64 1 y)))) x)
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 y)) (*.f64 (log.f64 y) t)) x)
(-.f64 (fma.f64 (log.f64 y) t (*.f64 z (log1p.f64 (neg.f64 y)))) x)
(fma.f64 z (log1p.f64 (neg.f64 y)) (-.f64 (*.f64 (log.f64 y) t) x))
(-.f64 (+.f64 (.f64 x (log.f64 z)) (.f64 y (log.f64 (-.f64 1 z)))) t)
(-.f64 (fma.f64 x (log.f64 z) (*.f64 y (log.f64 (-.f64 1 z)))) t)
(-.f64 (fma.f64 y (log1p.f64 (neg.f64 z)) (*.f64 x (log.f64 z))) t)
(-.f64 (fma.f64 x (log.f64 z) (*.f64 y (log1p.f64 (neg.f64 z)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 t)) (.f64 z (log.f64 (-.f64 1 t)))) y)
(-.f64 (fma.f64 x (log.f64 t) (*.f64 z (log.f64 (-.f64 1 t)))) y)
(-.f64 (fma.f64 z (log1p.f64 (neg.f64 t)) (*.f64 x (log.f64 t))) y)
(-.f64 (fma.f64 x (log.f64 t) (*.f64 z (log1p.f64 (neg.f64 t)))) y)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 t (log.f64 (-.f64 1 y)))) z)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) t)) z)
(-.f64 (fma.f64 (log1p.f64 (neg.f64 y)) t (*.f64 x (log.f64 y))) z)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 (log1p.f64 (neg.f64 y)) t)) z)
(fma.f64 (log1p.f64 (neg.f64 y)) t (-.f64 (*.f64 x (log.f64 y)) z))

Compiler

Compiled 53 to 28 computations (47.2% saved)

Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, B

analyze75.0ms (2.8%)

sample1.9s (71.5%)

preprocess680.0ms (25.7%)

end0.0ms (0%)

Profiling