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

Time bar (total: 10.8s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze63.0ms (0.6%)

Memory
-0.7MiB live, 23.3MiB 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)

sample49.0ms (0.5%)

Memory
-5.3MiB live, 10.6MiB allocated
Samples
25.0ms76×1valid
14.0ms184×0valid
Precisions
Click to see histograms. Total time spent on operations: 32.0ms
ival-log: 21.0ms (66.5% of total)
ival-mult: 4.0ms (12.7% of total)
ival-sub: 3.0ms (9.5% of total)
adjust: 2.0ms (6.3% 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

explain10.5s (97.4%)

Memory
-32.9MiB live, 3 572.1MiB 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
Freqs
test
numberfreq
04
1252
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
77.05419921875
Average Time
0.3009929656982422
Samples
4.7s16 650×1valid
1.9s4 770×2valid
149.0ms1 620×0valid
Compiler

Compiled 7 245 to 2 340 computations (67.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-log: 3.5s (64.5% of total)
adjust: 629.0ms (11.6% of total)
ival-mult: 586.0ms (10.8% of total)
ival-sub: 469.0ms (8.6% of total)
ival-add: 203.0ms (3.7% of total)
ival-true: 22.0ms (0.4% of total)
exact: 16.0ms (0.3% of total)
ival-assert: 9.0ms (0.2% of total)

preprocess140.0ms (1.3%)

Memory
0.7MiB live, 8.3MiB 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 (0.2%)

Memory
0.9MiB 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%)

Memory
-5.7MiB 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...