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

analyze424.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)

sample14.0s (93.1%)

Results

1.4s	5765×	0	valid-rival
1.1s	5738×	0	valid-sollya
2.2s	2491×	1	valid-rival
1.1s	2478×	1	valid-sollya
145.0ms	29×	0	exit-sollya
65.0ms	13×	1	exit-sollya
0.0ms	2×	0	invalid-rival

Bogosity

preprocess546.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1978×	`fma-neg`
549×	`fma-define`
330×	`sub-neg`
262×	`unsub-neg`
256×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	856
1	173	792
2	482	772
3	1297	764
4	3054	764
5	4095	764
6	4696	764
7	4901	764
8	4944	764
9	4954	764
10	4960	764
11	5044	764
12	5100	764
13	5124	764
14	5124	764
15	6679	764
16	6679	764
17	6679	764

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y))))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) (neg.f64 t))
(neg.f64 (-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y))))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 z) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) (neg.f64 t)))
(-.f64 (+.f64 (.f64 y (log.f64 x)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) x)))) t)
(-.f64 (+.f64 (.f64 z (log.f64 y)) (.f64 x (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (.f64 t (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) x)
(-.f64 (+.f64 (.f64 x (log.f64 z)) (.f64 y (log.f64 (-.f64 #s(literal 1 binary64) z)))) t)
(-.f64 (+.f64 (.f64 x (log.f64 t)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) t)))) y)
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 t (log.f64 (-.f64 #s(literal 1 binary64) y)))) z)

Outputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) y)))) t)
(-.f64 (fma.f64 (neg.f64 x) (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) (neg.f64 y))))) t)
(-.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) (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 #s(literal 1 binary64) y)))) t)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) y)))) (neg.f64 t))
(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) (neg.f64 t))
(fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 (neg.f64 y)) t))
(fma.f64 z (log1p.f64 (neg.f64 y)) (fma.f64 x (log.f64 y) t))
(neg.f64 (-.f64 (+.f64 (.f64 (neg.f64 x) (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t))
(neg.f64 (-.f64 (fma.f64 (neg.f64 x) (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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)))))
(-.f64 (fma.f64 x (log.f64 y) t) (*.f64 z (log1p.f64 (neg.f64 y))))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 (neg.f64 y))) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y))))) t))
(neg.f64 (-.f64 (fma.f64 x (log.f64 (neg.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y))))) t))
(neg.f64 (fma.f64 x (log.f64 (neg.f64 y)) (-.f64 (*.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 #s(literal 1 binary64) y)))) t))
(neg.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) 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))))
(fma.f64 z (log1p.f64 (neg.f64 y)) (-.f64 t (*.f64 x (log.f64 y))))
(neg.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) (neg.f64 t)))
(neg.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) (neg.f64 t)))
(neg.f64 (fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 (neg.f64 y)) t)))
(neg.f64 (fma.f64 z (log1p.f64 (neg.f64 y)) (fma.f64 x (log.f64 y) t)))
(-.f64 (+.f64 (.f64 y (log.f64 x)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) x)))) t)
(-.f64 (fma.f64 y (log.f64 x) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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)
(-.f64 (+.f64 (.f64 z (log.f64 y)) (.f64 x (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (fma.f64 z (log.f64 y) (*.f64 x (log.f64 (-.f64 #s(literal 1 binary64) 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)) (fma.f64 (log.f64 y) z (neg.f64 t)))
(-.f64 (+.f64 (.f64 t (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) x)
(-.f64 (fma.f64 t (log.f64 y) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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)
(-.f64 (+.f64 (.f64 x (log.f64 z)) (.f64 y (log.f64 (-.f64 #s(literal 1 binary64) z)))) t)
(-.f64 (fma.f64 x (log.f64 z) (*.f64 y (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) t)))) y)
(-.f64 (fma.f64 x (log.f64 t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) y)))) z)
(-.f64 (fma.f64 x (log.f64 y) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) 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)

Compiler

Compiled 17 to 12 computations (29.4% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	80.8%	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative`
4×	`sub-neg`
4×	`*-commutative`
3×	`1-exp`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	54
1	32	54
2	39	54
3	43	54
4	45	54

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)

Outputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 17 to 12 computations (29.4% saved)

preprocess63.0ms (0.4%)

Compiler: Compiled 138 to 92 computations (33.3% saved)

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

analyze424.0ms (2.8%)

sample14.0s (93.1%)

preprocess546.0ms (3.6%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify5.0ms (0%)

soundness0.0ms (0%)

preprocess63.0ms (0.4%)

end0.0ms (0%)

Profiling