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

Time bar (total: 2.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze136.0ms (6.5%)

Memory
6.3MiB live, 23.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%49.9%0.2%0%49.9%0%3
0%0%49.9%0.2%0%49.9%0%4
0%0%49.9%0.2%0%49.9%0%5
0%0%49.9%0.2%0%49.9%0%6
0%0%25%0.2%0%74.9%0%7
0%0%25%0.2%0%74.9%0%8
0%0%25%0.2%0%74.9%0%9
0%0%25%0.2%0%74.9%0%10
50%12.5%12.5%0.2%0%74.9%0%11
50%12.5%12.5%0.2%0%74.9%0%12
Compiler

Compiled 15 to 14 computations (6.7% saved)

sample48.0ms (2.3%)

Memory
-5.0MiB live, 10.6MiB allocated
Samples
23.0ms69×1valid
15.0ms191×0valid
0.0ms1×0invalid
Precisions
Click to see histograms. Total time spent on operations: 31.0ms
ival-log: 20.0ms (64.9% of total)
ival-mult: 4.0ms (13% of total)
ival-sub: 3.0ms (9.7% of total)
adjust: 2.0ms (6.5% of total)
ival-add: 1.0ms (3.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain1.7s (82.9%)

Memory
9.2MiB live, 880.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2540-0-(log.f64 (-.f64 #s(literal 1 binary64) y))
00-0-(*.f64 x (log.f64 y))
00-0-(-.f64 #s(literal 1 binary64) y)
00-0-(log.f64 y)
00-0-(+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
00-0-t
00-0-#s(literal 1 binary64)
00-0-z
00-0-(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
00-0-(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
00-0-y
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64(log.f64 (-.f64 #s(literal 1 binary64) y))sensitivity2540
Confusion
Predicted +Predicted -
+480
-2062
Precision
0.1889763779527559
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+4800
-20602
Precision?
0.1889763779527559
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
02
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
8.433837890625
Average Time
0.032944679260253906
Samples
657.0ms2 328×1valid
196.0ms504×2valid
22.0ms240×0valid
Compiler

Compiled 1 908 to 600 computations (68.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 697.0ms
ival-log: 454.0ms (65.1% of total)
adjust: 79.0ms (11.3% of total)
ival-mult: 77.0ms (11% of total)
ival-sub: 55.0ms (7.9% of total)
ival-add: 25.0ms (3.6% of total)
ival-true: 3.0ms (0.4% of total)
exact: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess148.0ms (7.1%)

Memory
0.7MiB live, 8.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
064196
1148188
2371185
3987185
41995185
53007185
63660185
73863185
83906185
93916185
103922185
114005185
124061185
134085185
144085185
01213
01913
13013
24313
36613
410213
517113
631313
751813
868813
974413
1077013
077011
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(fma.f64 (log1p.f64 (neg.f64 y)) z (fma.f64 (log.f64 y) x (neg.f64 t)))
Compiler

Compiled 13 to 12 computations (7.7% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
85.3%
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Compiler

Compiled 26 to 24 computations (7.7% saved)

simplify21.0ms (1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
12213
22913
33313
43513
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) y)) z) (*.f64 (log.f64 y) x)) t)

soundness0.0ms (0%)

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

Compiled 13 to 12 computations (7.7% saved)

preprocess3.0ms (0.1%)

Memory
2.2MiB live, 2.2MiB allocated
Compiler

Compiled 114 to 92 computations (19.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...