Statistics.Distribution.CauchyLorentz:$cdensity from math-functions-0.1.5.2

Time bar (total: 4.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze52.0ms (1.3%)

Memory
-3.4MiB live, 19.9MiB 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
37.5%37.4%62.4%0.1%0%0%0%5
56.3%56.2%43.7%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.5%34.3%0.1%0%0%0%8
76.6%76.5%23.4%0.1%0%0%0%9
76.6%76.5%23.4%0.1%0%0%0%10
82%81.9%17.9%0.1%0%0%0%11
87.9%87.8%12.1%0.1%0%0%0%12
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample20.0ms (0.5%)

Memory
7.2MiB live, 7.2MiB allocated
Samples
13.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-div: 3.0ms (39.2% of total)
ival-mult: 3.0ms (39.2% of total)
ival-add: 1.0ms (13.1% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain3.6s (88.3%)

Memory
-67.3MiB live, 2 144.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
130-0-(*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z)))
90-0-(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
00-0-#s(literal 1 binary64)
00-0-(/.f64 #s(literal 1 binary64) x)
00-0-z
00-0-(+.f64 #s(literal 1 binary64) (*.f64 z z))
00-0-(*.f64 z z)
00-0-y
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z)))n*o130
/.f64(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))n/o90
↳(*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z)))overflow56
↳(+.f64 #s(literal 1 binary64) (*.f64 z z))overflow52
↳(*.f64 z z)overflow52
Confusion
Predicted +Predicted -
+170
-5234
Precision
0.7727272727272727
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+1700
-50234
Precision?
0.7727272727272727
Recall?
1.0
Freqs
test
numberfreq
0234
122
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
16.719482421875
Average Time
0.06531047821044922
Samples
1.4s23 040×0valid
Compiler

Compiled 5 130 to 1 800 computations (64.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 710.0ms
ival-mult: 283.0ms (39.9% of total)
ival-div: 282.0ms (39.7% of total)
ival-add: 102.0ms (14.4% of total)
ival-true: 21.0ms (3% of total)
exact: 14.0ms (2% of total)
ival-assert: 9.0ms (1.3% of total)

preprocess344.0ms (8.4%)

Memory
-2.7MiB live, 8.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034102
112999
233999
3113999
4266599
5419999
6505999
7530799
8541999
9543299
10593399
11623799
12627099
13628699
14629099
15629099
16629099
17629099
18635099
19637499
20637499
21655099
22711899
23714499
24714899
25714899
0911
01411
12811
24611
310111
415311
520211
020210
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
(/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 z z #s(literal 1 binary64))) (*.f64 y x))
Symmetry

(abs z)

(negabs y)

(negabs x)

(sort x y)

Compiler

Compiled 11 to 9 computations (18.2% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
93.0%
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify21.0ms (0.5%)

Memory
2.4MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11411
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 z z))))
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 (+.f64 (*.f64 z z) #s(literal 1 binary64)) y))

soundness0.0ms (0%)

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

Compiled 11 to 9 computations (18.2% saved)

preprocess44.0ms (1.1%)

Memory
-4.8MiB live, 18.8MiB allocated
Remove

(negabs x)

(negabs y)

(abs z)

Compiler

Compiled 370 to 254 computations (31.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...