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

Memory
6.4MiB 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
-4.9MiB live, 10.7MiB allocated
Samples
25.0ms76×1valid
14.0ms184×0valid
Precisions
Click to see histograms. Total time spent on operations: 31.0ms
ival-log: 21.0ms (67% of total)
ival-mult: 4.0ms (12.8% of total)
ival-sub: 3.0ms (9.6% of total)
adjust: 2.0ms (6.4% 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.8s (83.1%)

Memory
10.4MiB live, 881.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2540-2(5.688821910956692e-87 0.012356686657456678 6.297828864654203e+263 -5.44498907207916e-305)(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))sensitivity2522
Confusion
Predicted +Predicted -
+371
-2153
Precision
0.14682539682539683
Recall
0.9736842105263158
Confusion?
Predicted +Predicted MaybePredicted -
+3710
-21512
Precision?
0.14960629921259844
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
04
1252
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
8.35107421875
Average Time
0.03262138366699219
Samples
611.0ms2 220×1valid
249.0ms636×2valid
21.0ms216×0valid
Compiler

Compiled 1 908 to 600 computations (68.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 701.0ms
ival-log: 454.0ms (64.8% of total)
adjust: 83.0ms (11.8% of total)
ival-mult: 76.0ms (10.8% of total)
ival-sub: 57.0ms (8.1% of total)
ival-add: 26.0ms (3.7% of total)
ival-true: 2.0ms (0.3% of total)
exact: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess148.0ms (7%)

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
88.4%
(-.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.1MiB live, 18.6MiB 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
-5.7MiB live, 2.1MiB allocated
Compiler

Compiled 114 to 92 computations (19.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...