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

Time bar (total: 5.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze86.0ms (1.7%)

Memory
5.6MiB live, 29.0MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 14 to 12 computations (14.3% saved)

sample26.0ms (0.5%)

Memory
0.9MiB live, 8.5MiB allocated
Samples
18.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 13.0ms
const: 4.0ms (31.5% of total)
ival-mult: 3.0ms (23.6% of total)
ival-div: 2.0ms (15.8% of total)
ival-exp: 2.0ms (15.8% of total)
ival-sub: 1.0ms (7.9% of total)
ival-add: 1.0ms (7.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain5.0s (95.8%)

Memory
19.9MiB live, 2 645.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
300-1(9.048811379375633e-69 -1.7028581267850626e-255 -3.504285238601161e+216)(/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))
50-0-(-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))
00-0-#s(literal 5641895835477563/5000000000000000 binary64)
00-0-(*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z))
00-0-z
00-0-(*.f64 x y)
00-0-(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))))
00-0-y
00-0-x
00-0-(exp.f64 z)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))n/u80
↳(exp.f64 z)underflow71
↳(*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z))underflow71
↳(-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))underflow8
↳(*.f64 x y)underflow27
-.f64(-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))nan-rescue50
↳(exp.f64 z)overflow65
↳(*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z))overflow65
↳(*.f64 x y)overflow30
/.f64(/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))n/o10
↳(exp.f64 z)overflow65
↳(*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z))overflow65
↳(-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))overflow86
↳(*.f64 x y)overflow30
Confusion
Predicted +Predicted -
+141
-0241
Precision
1.0
Recall
0.9333333333333333
Confusion?
Predicted +Predicted MaybePredicted -
+1401
-00241
Precision?
1.0
Recall?
0.9333333333333333
Freqs
test
numberfreq
0242
114
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
22.70654296875
Average Time
0.08869743347167969
Samples
1.9s23 040×0valid
Compiler

Compiled 6 525 to 1 980 computations (69.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
const: 337.0ms (28.7% of total)
ival-mult: 285.0ms (24.3% of total)
ival-exp: 170.0ms (14.5% of total)
ival-div: 150.0ms (12.8% of total)
ival-sub: 102.0ms (8.7% of total)
ival-add: 100.0ms (8.5% of total)
ival-true: 20.0ms (1.7% of total)
ival-assert: 9.0ms (0.8% of total)

preprocess78.0ms (1.5%)

Memory
-0.1MiB live, 7.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042115
1107109
2203109
3452108
4842108
51460108
61986108
72307108
82374108
92397108
102403108
112403108
01012
01612
12412
23612
34812
47112
510112
616012
722812
832112
942912
1059212
1160512
1262012
1366712
066711
Stop Event
1×iter limit
1×saturated
1×iter limit
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))))
(-.f64 x (/.f64 y (fma.f64 #s(literal -5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 y x))))
Compiler

Compiled 12 to 10 computations (16.7% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
94.4%
(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))))
Compiler

Compiled 24 to 20 computations (16.7% saved)

simplify23.0ms (0.4%)

Memory
0.6MiB live, 18.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11812
23012
33612
44012
54112
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))))
(+.f64 (/.f64 y (-.f64 (*.f64 (exp.f64 z) #s(literal 5641895835477563/5000000000000000 binary64)) (*.f64 y x))) x)

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 12 to 10 computations (16.7% saved)

preprocess2.0ms (0%)

Memory
-6.7MiB live, 1.2MiB allocated
Compiler

Compiled 72 to 62 computations (13.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...