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

Time bar (total: 277.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze96.0ms (34.8%)

Memory
5.3MiB live, 29.6MiB 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)

sample28.0ms (10.1%)

Memory
0.1MiB live, 8.8MiB allocated
Samples
20.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 14.0ms
const: 4.0ms (29.3% of total)
ival-mult: 3.0ms (22% of total)
ival-div: 2.0ms (14.6% of total)
ival-exp: 2.0ms (14.6% of total)
ival-sub: 2.0ms (14.6% of total)
ival-add: 1.0ms (7.3% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain33.0ms (11.8%)

Memory
-4.4MiB live, 10.8MiB allocated
Confusion
Predicted +Predicted -
+010
-39207
Precision
0.0
Recall
0.0
Samples
21.0ms256×0valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
const: 4.0ms (29% of total)
ival-mult: 3.0ms (21.8% of total)
ival-div: 2.0ms (14.5% of total)
ival-exp: 2.0ms (14.5% of total)
ival-add: 1.0ms (7.3% of total)
ival-sub: 1.0ms (7.3% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess95.0ms (34.2%)

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.2%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
96.1%
(+.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 (8.2%)

Memory
1.3MiB live, 18.6MiB 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.1%)

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

Compiled 12 to 10 computations (16.7% saved)

preprocess2.0ms (0.6%)

Memory
1.1MiB live, 1.1MiB allocated
Compiler

Compiled 72 to 62 computations (13.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...