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

analyze208.0ms (2.9%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
31.3%	31.2%	68.6%	0.1%	0%	0%	0%	5
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	6
53.1%	53%	46.8%	0.1%	0%	0%	0%	7
59.4%	59.3%	40.6%	0.1%	0%	0%	0%	8
68%	67.9%	32%	0.1%	0%	0%	0%	9
73.6%	73.5%	26.3%	0.1%	0%	0%	0%	10
78.2%	78.1%	21.7%	0.1%	0%	0%	0%	11
83.3%	83.1%	16.7%	0.1%	0%	0%	0%	12

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample6.5s (92.1%)

Results

2.1s	8256×	valid-rival
1.2s	8255×	valid-sollya
5.0ms	1×	exit-sollya

Bogosity

preprocess238.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-define`
734×	`fma-neg`
137×	`distribute-lft-neg-in`
122×	`cancel-sign-sub-inv`
117×	`distribute-rgt-in`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	52	578
1	129	538
2	246	538
3	552	526
4	1099	510
5	2066	506
6	3054	506
7	3762	506
8	3940	506
9	4007	506
10	4029	506
11	4029	506

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(+.f64 (neg.f64 x) (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 (neg.f64 x) y))))
(+.f64 x (/.f64 (neg.f64 y) (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x (neg.f64 y)))))
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 (neg.f64 z))) (.f64 x y))))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 (neg.f64 x) y)))))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x (neg.f64 y))))))
(neg.f64 (+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 (neg.f64 z))) (.f64 x y)))))
(+.f64 y (/.f64 x (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 y x))))
(+.f64 z (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 x)) (.f64 z y))))
(+.f64 x (/.f64 z (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 y)) (.f64 x z))))

Outputs
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 x y (*.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64)))))
(-.f64 x (/.f64 y (fma.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64) (*.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 x y (*.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64)))))
(-.f64 x (/.f64 y (fma.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64) (*.f64 x y))))
(+.f64 (neg.f64 x) (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 (neg.f64 x) y))))
(+.f64 (neg.f64 x) (/.f64 y (+.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 (/.f64 y (fma.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 x y))) x)
(+.f64 x (/.f64 (neg.f64 y) (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x (neg.f64 y)))))
(+.f64 x (/.f64 (neg.f64 y) (+.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 (neg.f64 z))) (.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (/.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 x y (/.f64 #s(literal -5641895835477563/5000000000000000 binary64) (exp.f64 z)))))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 (neg.f64 x) y)))))
(+.f64 x (/.f64 (neg.f64 y) (+.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 x y))))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x (neg.f64 y))))))
(+.f64 (neg.f64 x) (/.f64 y (+.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 (/.f64 y (fma.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 x y))) x)
(neg.f64 (+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 (neg.f64 z))) (.f64 x y)))))
(-.f64 (neg.f64 x) (/.f64 y (-.f64 (/.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))))
(-.f64 (/.f64 y (+.f64 (*.f64 x y) (neg.f64 (/.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z))))) x)
(-.f64 (/.f64 y (fma.f64 x y (/.f64 #s(literal -5641895835477563/5000000000000000 binary64) (exp.f64 z)))) x)
(+.f64 y (/.f64 x (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 y x))))
(+.f64 y (/.f64 x (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))
(-.f64 y (/.f64 x (fma.f64 x y (*.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64)))))
(-.f64 y (/.f64 x (fma.f64 (exp.f64 z) #s(literal -5641895835477563/5000000000000000 binary64) (*.f64 x y))))
(+.f64 z (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 x)) (.f64 z y))))
(+.f64 z (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 x)) (.f64 y z))))
(+.f64 z (/.f64 (neg.f64 y) (fma.f64 y z (*.f64 (exp.f64 x) #s(literal -5641895835477563/5000000000000000 binary64)))))
(-.f64 z (/.f64 y (fma.f64 y z (*.f64 (exp.f64 x) #s(literal -5641895835477563/5000000000000000 binary64)))))
(+.f64 x (/.f64 z (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 y)) (.f64 x z))))
(-.f64 x (/.f64 z (fma.f64 x z (*.f64 (exp.f64 y) #s(literal -5641895835477563/5000000000000000 binary64)))))

Compiler

Compiled 15 to 10 computations (33.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	96.2%	(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))

Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	25	50
2	37	50
3	43	50
4	47	50
5	48	50

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))

Outputs
(+.f64 x (/.f64 y (-.f64 (.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (.f64 x y))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 15 to 10 computations (33.3% saved)

preprocess108.0ms (1.5%)

Compiler: Compiled 90 to 62 computations (31.1% saved)

Numeric.SpecFunctions:invErfc from math-functions-0.1.5.2, A

analyze208.0ms (2.9%)

sample6.5s (92.1%)

preprocess238.0ms (3.4%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify4.0ms (0.1%)

soundness1.0ms (0%)

preprocess108.0ms (1.5%)

end0.0ms (0%)

Profiling