Toniolo and Linder, Equation (13)

Time bar (total: 5.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze674.0ms (13%)

Memory
-18.1MiB live, 1 171.6MiB allocated
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)

sample3.9s (75.1%)

Memory
160.4MiB live, 6 016.0MiB allocated
Samples
1.7s12 552×0invalid
1.1s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 969.0ms (47.6% of total)
ival-div: 351.0ms (17.2% of total)
ival-sub: 307.0ms (15.1% of total)
ival-pow2: 233.0ms (11.4% of total)
ival-sqrt: 136.0ms (6.7% of total)
ival-true: 18.0ms (0.9% of total)
exact: 13.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
Bogosity

explain318.0ms (6.1%)

Memory
22.8MiB live, 533.5MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
780-2(-1.0136804100911622e-101 2.3405787688418907e-203 1.3358336568395266e-181 1.0136059724300196e+41 4.580852909425487e+94 8.68749459573507e+48)(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*)))))
460-2(-1.9489691476586128e-113 3.609907469573771e-202 -2.801300294644375e+195 1.385667048490801e+48 -2.6199967207431577e+292 -1.7933890843033313e-247)(*.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*))))
350-0-(/.f64 (*.f64 l l) Om)
230-1(3.597816039321361e+296 -1.142017584058287e+248 -1.1593559398834766e+241 -1.0545449570006461e-305 3.0869221885976116e-144 -7.459150318330575e+307)(*.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*)))
201(-2.903630172651542e+305 -7.465494185202007e-223 1.3835509468365568e+110 3.566412237605846e-231 -2.734468003970634e+106 1.4457414027642054e+45)2(2.0301051417008557e-287 -3.129580242686208e+251 -3.292118173908251e+147 2.123508285431946e-31 1.6027705416307965e-17 2.3141033348868077e+49)(*.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-rescue510
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow53
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow60
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow47
↳(*.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*))))overflow76
↳(-.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*)))overflow71
↳(/.f64 (*.f64 l l) Om)overflow53
↳(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*)))))overflow25
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)overflow15
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow21
↳(*.f64 l l)overflow64
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow53
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-rescue250
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))underflow75
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow90
↳(*.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*))))underflow26
↳(/.f64 (*.f64 l l) Om)underflow70
↳(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)underflow40
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow87
↳(/.f64 l Om)underflow35
↳(*.f64 l l)underflow71
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow70
-.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)))overflow53
↳(/.f64 (*.f64 l l) Om)overflow53
↳(*.f64 l l)overflow64
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow53
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow60
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow47
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow21
/.f64(/.f64 (*.f64 l l) Om)o/n200
↳(*.f64 l l)overflow64
*.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*o180
*.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*u170
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*o120
*.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)underflow40
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow53
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow60
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow47
↳(/.f64 (*.f64 l l) Om)overflow53
↳(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*)))overflow71
↳(/.f64 l Om)overflow21
↳(*.f64 l l)overflow64
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow53
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*u40
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*u20
/.f64(/.f64 (*.f64 l l) Om)u/n10
↳(*.f64 l l)underflow71
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*o10
Confusion
Predicted +Predicted -
+1433
-2108
Precision
0.9862068965517241
Recall
0.9794520547945206
Confusion?
Predicted +Predicted MaybePredicted -
+14303
-20108
Precision?
0.9862068965517241
Recall?
0.9794520547945206
Freqs
test
numberfreq
0111
1112
230
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
84.0ms512×0valid
Compiler

Compiled 326 to 67 computations (79.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.0ms
ival-mult: 21.0ms (41.5% of total)
ival-div: 8.0ms (15.8% of total)
ival-sub: 8.0ms (15.8% of total)
ival-sqrt: 7.0ms (13.8% of total)
ival-pow2: 6.0ms (11.9% of total)
ival-true: 1.0ms (2% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess305.0ms (5.9%)

Memory
-56.0MiB live, 414.7MiB allocated
Algorithm
1×egg-herbie
Rules
14 418×lower-fma.f64
14 418×lower-fma.f32
4 488×lower-*.f32
4 474×lower-*.f64
2 218×lower-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0221780
1763766
23329762
02128
03528
17528
225028
3136926
4649726
0840324
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Compiler

Compiled 28 to 21 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...