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

analyze9.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 21 to 17 computations (19% saved)

sample9.9s (93.4%)

Results

3.2s	8256×	valid-rival
1.6s	8233×	valid-sollya
115.0ms	23×	exit-sollya

Bogosity

preprocess627.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

2375×	`fma-neg`
645×	`fma-define`
494×	`unsub-neg`
476×	`times-frac`
402×	`distribute-lft-in`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	32	300
1	80	244
2	227	228
3	615	220
4	1294	220
5	2391	204
6	4030	204
7	5267	204
8	5787	204
9	5985	204
10	6042	204
11	6076	204
12	6706	204
13	7218	204
14	7550	204
15	7572	204
16	7582	204
17	7590	204
18	7600	204
19	7612	204
20	7616	204
21	7616	204

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 (neg.f64 x) #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (.f64 (neg.f64 x) #s(literal 4481/100000 binary64)))))) (neg.f64 x)))
(neg.f64 (.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 (neg.f64 x) #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (.f64 (neg.f64 x) #s(literal 4481/100000 binary64)))))) (neg.f64 x))))

Outputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (fma.f64 x #s(literal 27061/100000 binary64) #s(literal 230753/100000 binary64)) (fma.f64 x (fma.f64 x #s(literal 4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal 1 binary64))) x))
(fma.f64 x #s(literal -70711/100000 binary64) (/.f64 (fma.f64 x #s(literal 1913510371/10000000000 binary64) #s(literal 16316775383/10000000000 binary64)) (fma.f64 x (fma.f64 x #s(literal 4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal 1 binary64))))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (fma.f64 x #s(literal 27061/100000 binary64) #s(literal 230753/100000 binary64)) (fma.f64 x (fma.f64 x #s(literal 4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal 1 binary64))) x))
(fma.f64 x #s(literal -70711/100000 binary64) (/.f64 (fma.f64 x #s(literal 1913510371/10000000000 binary64) #s(literal 16316775383/10000000000 binary64)) (fma.f64 x (fma.f64 x #s(literal 4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal 1 binary64))))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 (neg.f64 x) #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (.f64 (neg.f64 x) #s(literal 4481/100000 binary64)))))) (neg.f64 x)))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 #s(literal 27061/100000 binary64) (neg.f64 x))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (neg.f64 (.f64 x #s(literal 4481/100000 binary64))))))) (neg.f64 x)))
(.f64 #s(literal 70711/100000 binary64) (+.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal -27061/100000 binary64))) (-.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal -4481/100000 binary64))))))))
(.f64 #s(literal 70711/100000 binary64) (+.f64 x (/.f64 (fma.f64 x #s(literal -27061/100000 binary64) #s(literal 230753/100000 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)))))))
(*.f64 #s(literal 70711/100000 binary64) (+.f64 x (/.f64 (fma.f64 x #s(literal -27061/100000 binary64) #s(literal 230753/100000 binary64)) (fma.f64 x (fma.f64 x #s(literal 4481/100000 binary64) #s(literal -99229/100000 binary64)) #s(literal 1 binary64)))))
(fma.f64 #s(literal 70711/100000 binary64) x (/.f64 (fma.f64 x #s(literal 1913510371/10000000000 binary64) #s(literal -16316775383/10000000000 binary64)) (fma.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal -1 binary64))))
(neg.f64 (.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 (neg.f64 x) #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (.f64 (neg.f64 x) #s(literal 4481/100000 binary64)))))) (neg.f64 x))))
(.f64 #s(literal -70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 #s(literal 27061/100000 binary64) (neg.f64 x))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (+.f64 #s(literal 99229/100000 binary64) (neg.f64 (.f64 x #s(literal 4481/100000 binary64))))))) (neg.f64 x)))
(.f64 (+.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal -27061/100000 binary64))) (-.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal -4481/100000 binary64))))))) #s(literal -70711/100000 binary64))
(.f64 (+.f64 x (/.f64 (fma.f64 x #s(literal -27061/100000 binary64) #s(literal 230753/100000 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)))))) #s(literal -70711/100000 binary64))
(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (fma.f64 x #s(literal -27061/100000 binary64) #s(literal 230753/100000 binary64)) (fma.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal -1 binary64))) x))
(fma.f64 x #s(literal -70711/100000 binary64) (/.f64 (+.f64 #s(literal 16316775383/10000000000 binary64) (*.f64 x #s(literal -1913510371/10000000000 binary64))) (fma.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal -1 binary64))))
(fma.f64 x #s(literal -70711/100000 binary64) (/.f64 (fma.f64 x #s(literal -1913510371/10000000000 binary64) #s(literal 16316775383/10000000000 binary64)) (fma.f64 x (fma.f64 x #s(literal -4481/100000 binary64) #s(literal 99229/100000 binary64)) #s(literal -1 binary64))))

Compiler

Compiled 20 to 16 computations (20% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))

Status

Accuracy

Program

99.9%

(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Compiler

Compiled 40 to 32 computations (20% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	67
1	35	67
2	39	67
3	41	67
4	42	67

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Outputs

(*.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 20 to 16 computations (20% saved)

preprocess49.0ms (0.5%)

Compiler: Compiled 80 to 64 computations (20% saved)

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

analyze9.0ms (0.1%)

sample9.9s (93.4%)

preprocess627.0ms (5.9%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify5.0ms (0%)

soundness1.0ms (0%)

preprocess49.0ms (0.5%)

end0.0ms (0%)

Profiling