Toniolo and Linder, Equation (13)

Time bar (total: 5.6s)

start0.0ms (0%)

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

analyze999.0ms (17.8%)

Memory
9.6MiB live, 751.0MiB allocated; 1.1s 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.2s (75.1%)

Memory
118.6MiB live, 4 575.5MiB allocated; 1.3s collecting garbage
Samples
1.7s12 396×0invalid
1.1s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 962.0ms (48.1% of total)
ival-sub: 339.0ms (17% of total)
ival-div: 309.0ms (15.5% of total)
ival-pow2: 226.0ms (11.3% of total)
ival-sqrt: 132.0ms (6.6% of total)
exact: 17.0ms (0.9% of total)
adjust: 7.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
Bogosity

explain299.0ms (5.3%)

Memory
29.6MiB live, 406.5MiB allocated; 67ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
620-1(-1.0381797588196817e+168 -8.623374285499031e-215 1.1819182985972133e-265 -9.078402432358584e-50 5.679073944338757e+264 2.5263376530808346e-51)(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*)))))
390-3(-2.8704126333212473e-187 -1.4159905234720777e-129 -7.782553593611106e-63 -4.209792813559418e+275 -5.252473504595534e+299 -8.862275859641206e+139)(*.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*))))
300-0-(/.f64 (*.f64 l l) Om)
230-3(3.657905161059321e+204 -6.531103333660751e-40 1.5621579112474237e-154 -2.2515348798164342e-206 -1.4294747238330684e-46 -3.259276821920289e+107)(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))
210-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*)))
120-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)
01(-7.063635320110555e-259 6.611010572535606e-180 -7.817333399022837e-148 -4.079489699075259e-145 1.253739684549719e+35 5.862959292784641)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-rescue410
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow40
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow64
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(*.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*))))overflow72
↳(-.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*)))overflow70
↳(/.f64 (*.f64 l l) Om)overflow40
↳(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*)))))overflow31
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)overflow9
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow14
↳(*.f64 l l)overflow48
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow40
-.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-rescue210
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow40
↳(/.f64 (*.f64 l l) Om)overflow40
↳(*.f64 l l)overflow48
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow40
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow64
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow14
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*))underflow98
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow100
↳(*.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*))))underflow24
↳(/.f64 (*.f64 l l) Om)underflow91
↳(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*)))))underflow4
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow41
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow94
↳(/.f64 l Om)underflow45
↳(*.f64 l l)underflow75
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow90
/.f64(/.f64 (*.f64 l l) Om)o/n160
↳(*.f64 l l)overflow48
*.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*u150
*.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*o120
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*o100
*.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*o90
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow41
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow40
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow64
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(/.f64 (*.f64 l l) Om)overflow40
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(-.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*)))overflow70
↳(/.f64 l Om)overflow14
↳(*.f64 l l)overflow48
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow40
/.f64(/.f64 (*.f64 l l) Om)u/n30
↳(*.f64 l l)underflow75
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*u30
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*o10
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*u10
Confusion
Predicted +Predicted -
+1193
-1133
Precision
0.9916666666666667
Recall
0.9754098360655737
Confusion?
Predicted +Predicted MaybePredicted -
+11903
-10133
Precision?
0.9916666666666667
Recall?
0.9754098360655737
Freqs
test
numberfreq
0136
189
230
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
97.0ms512×0valid
Compiler

Compiled 320 to 67 computations (79.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 60.0ms
ival-mult: 25.0ms (41.9% of total)
ival-div: 14.0ms (23.5% of total)
ival-sub: 10.0ms (16.8% of total)
ival-pow2: 6.0ms (10.1% of total)
ival-sqrt: 4.0ms (6.7% 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)

preprocess101.0ms (1.8%)

Memory
-7.0MiB live, 82.5MiB allocated; 23ms 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...