Toniolo and Linder, Equation (13)

Time bar (total: 5.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze654.0ms (12.4%)

Memory
-30.8MiB live, 781.0MiB allocated; 90ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
0%0%99.7%0.3%0%0%0%7
0%0%99.7%0.3%0%0%0%8
0%0%99.7%0.3%0%0%0%9
0%0%97.8%0.3%0%1.9%0%10
0%0%97.4%0.3%0%2.3%0%11
0%0%94.8%0.3%0%4.9%0%12
Compiler

Compiled 30 to 23 computations (23.3% saved)

sample4.3s (80.9%)

Memory
97.1MiB live, 4 492.1MiB allocated; 1.3s collecting garbage
Samples
2.1s12 305×0invalid
1.1s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 1.3s (56% of total)
ival-sub: 319.0ms (13.6% of total)
ival-div: 309.0ms (13.2% of total)
ival-pow2: 241.0ms (10.3% of total)
ival-sqrt: 132.0ms (5.6% of total)
exact: 17.0ms (0.7% of total)
ival-assert: 7.0ms (0.3% of total)
adjust: 6.0ms (0.3% of total)
Bogosity

explain259.0ms (4.9%)

Memory
-2.6MiB live, 342.6MiB allocated; 36ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
791(-1.7686965709629895e-214 7.48063526087593e-227 -1.5384760799259317e-206 1.3358548141902905e-196 -4.626903079186499e+28 -4.299141930383996e-169)4(2.1864326349338785e+46 2.1226013106468013e-285 2.4309702832117133e-77 -1.7104324229071809e-90 -3.8130924647647956e+244 2.940174257444509e-176)(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))
330-0-(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))
290-0-(/.f64 (*.f64 l l) Om)
270-0-(-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))
230-1(-2.8308099236010783e+238 -3.422470338950906e-68 9.943719362422312e+110 -1.1210192493793539e+118 -1.1404432597905981e+279 -6.189409711976673e+161)(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))
160-0-(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))
00-0-Om
00-0-t
00-0-(/.f64 l Om)
00-0-U
00-0-U*
00-0-(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))
00-0-(*.f64 (*.f64 #s(literal 2 binary64) n) U)
00-0-(*.f64 #s(literal 2 binary64) n)
00-0-n
00-0-(pow.f64 (/.f64 l Om) #s(literal 2 binary64))
00-0-(*.f64 l l)
00-0-(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))
00-0-#s(literal 2 binary64)
00-0-(-.f64 U U*)
00-0-l
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))oflow-rescue560
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow57
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow76
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow60
↳(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))overflow98
↳(-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))overflow86
↳(/.f64 (*.f64 l l) Om)overflow57
↳(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))overflow42
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)overflow14
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow60
↳(/.f64 l Om)overflow31
↳(*.f64 l l)overflow57
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow57
-.f64(-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))nan-rescue270
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow57
↳(/.f64 (*.f64 l l) Om)overflow57
↳(*.f64 l l)overflow57
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow57
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow76
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow60
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow60
↳(/.f64 l Om)overflow31
sqrt.f64(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))uflow-rescue200
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))underflow71
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow82
↳(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))underflow21
↳(/.f64 (*.f64 l l) Om)underflow66
↳(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))underflow1
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow31
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow82
↳(/.f64 l Om)underflow29
↳(*.f64 l l)underflow67
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow66
*.f64(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))n*o150
/.f64(/.f64 (*.f64 l l) Om)o/n140
↳(*.f64 l l)overflow57
*.f64(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))n*u100
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*o80
*.f64(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))u*o80
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow31
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow57
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow76
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow60
↳(/.f64 (*.f64 l l) Om)overflow57
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow60
↳(-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))overflow86
↳(/.f64 l Om)overflow31
↳(*.f64 l l)overflow57
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow57
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*u50
/.f64(/.f64 (*.f64 l l) Om)u/n20
↳(*.f64 l l)underflow67
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*o20
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*u10
Confusion
Predicted +Predicted -
+1332
-1120
Precision
0.9925373134328358
Recall
0.9851851851851852
Confusion?
Predicted +Predicted MaybePredicted -
+13302
-10120
Precision?
0.9925373134328358
Recall?
0.9851851851851852
Freqs
test
numberfreq
0122
1103
228
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
84.0ms512×0valid
Compiler

Compiled 320 to 67 computations (79.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.0ms
ival-sub: 21.0ms (36.5% of total)
ival-mult: 20.0ms (34.7% of total)
ival-div: 7.0ms (12.2% of total)
ival-pow2: 5.0ms (8.7% of total)
ival-sqrt: 3.0ms (5.2% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess90.0ms (1.7%)

Memory
-12.6MiB live, 81.0MiB allocated; 11ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0224807
1656796
22676796
02128
03528
16828
221628
3102126
4448126
0812226
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...