Toniolo and Linder, Equation (13)

Time bar (total: 2.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze484.0ms (16.9%)

Memory
4.1MiB live, 201.5MiB 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)

sample104.0ms (3.6%)

Memory
8.0MiB live, 38.3MiB allocated
Samples
48.0ms431×0invalid
28.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 55.0ms
ival-mult: 25.0ms (45.6% of total)
ival-div: 9.0ms (16.4% of total)
ival-sub: 8.0ms (14.6% of total)
ival-pow2: 6.0ms (11% of total)
ival-sqrt: 4.0ms (7.3% of total)
ival-true: 1.0ms (1.8% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain2.0s (71%)

Memory
2.3MiB live, 1 615.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
600-1(-4.921008172425654e-286 7.521413350021985e-258 -1.3950241277271526e+219 9.54691541562144e-290 1.3171223079374315e-250 -1.4389789896460706e+265)(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*)))))
361(-4.921008172425654e-286 7.521413350021985e-258 -1.3950241277271526e+219 9.54691541562144e-290 1.3171223079374315e-250 -1.4389789896460706e+265)2(3.7756017710122444e-132 2.816225560782841e-192 1.4517556513419254e-126 58333518338.03813 -114.25155606095075 -33.13328924495523)(*.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-2(-5.0789685583719415e-140 -1.0392834523308829e+182 1.5789334463214697e+296 7.661683243849611e-162 -1.1348863861949163e-237 1.9770092992978463e+169)(/.f64 (*.f64 l l) Om)
280-2(-3.113415927074342e-295 -1.8958242319170078e-134 2.9655536924804847e+193 -393985865538037250.0 9.637996776961668e+29 5.7292006612826716e+63)(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))
230-3(2.310091880312288e+236 2.540365441442348e-157 1.3480088312185644e+189 -1.9276157056394395e-35 -1.1911499978873115e+126 3.6387109422338596e+59)(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))
217(-1.3350454456407687e+94 -1.4610769484906978e-142 -5.482721945507017e+282 -5.673009184337627e+170 -4.0611010056449906e-213 -2.534032132865593e-20)11(6.390275783376171e-114 -8.419722382686201e-209 -1.0002983954061887e-47 8.276746790858098e+166 -3.3186483513033894e-298 -4.759690347863577e+192)(-.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*)))
10-0-(*.f64 (*.f64 #s(literal 2 binary64) n) 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 #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-rescue360
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow47
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow62
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(*.f64 #s(literal 2 binary64) n)overflow1
↳(*.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*))))overflow74
↳(-.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 l l) Om)overflow47
↳(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*)))))overflow38
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)overflow11
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow50
↳(/.f64 l Om)overflow18
↳(*.f64 l l)overflow52
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow47
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-rescue230
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))underflow76
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow93
↳(*.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*))))underflow25
↳(/.f64 (*.f64 l l) Om)underflow80
↳(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*)))))underflow2
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow33
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow85
↳(/.f64 l Om)underflow44
↳(*.f64 l l)underflow74
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow80
-.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-rescue170
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow47
↳(/.f64 (*.f64 l l) Om)overflow47
↳(*.f64 l l)overflow52
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow47
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow62
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow50
↳(/.f64 l Om)overflow18
*.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*o160
/.f64(/.f64 (*.f64 l l) Om)o/n160
↳(*.f64 l l)overflow52
*.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*))))n*u100
*.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)underflow33
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow47
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow62
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow48
↳(/.f64 (*.f64 l l) Om)overflow47
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow50
↳(-.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 l Om)overflow18
↳(*.f64 l l)overflow52
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow47
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*o50
/.f64(/.f64 (*.f64 l l) Om)u/n10
↳(*.f64 l l)underflow74
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*u10
*.f64(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))n*u10
*.f64(*.f64 (*.f64 #s(literal 2 binary64) n) U)n*o10
Confusion
Predicted +Predicted -
+1137
-8128
Precision
0.9338842975206612
Recall
0.9416666666666667
Confusion?
Predicted +Predicted MaybePredicted -
+11307
-80128
Precision?
0.9338842975206612
Recall?
0.9416666666666667
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0135
1100
216
34
41
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
11.7509765625
Average Time
0.045902252197265625
Samples
382.0ms3 072×0valid
Compiler

Compiled 5 544 to 1 032 computations (81.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 242.0ms
ival-mult: 111.0ms (45.9% of total)
ival-div: 39.0ms (16.1% of total)
ival-sub: 39.0ms (16.1% of total)
ival-pow2: 28.0ms (11.6% of total)
ival-sqrt: 20.0ms (8.3% of total)
ival-true: 2.0ms (0.8% of total)
exact: 2.0ms (0.8% of total)
ival-assert: 1.0ms (0.4% of total)

preprocess183.0ms (6.4%)

Memory
1.2MiB live, 48.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0221780
1714766
22813762
37848762
02128
03528
16628
219128
389926
4359924
5724524
0801923
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(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*)))))
Outputs
(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*)))))
(sqrt.f64 (*.f64 (fma.f64 (/.f64 (*.f64 l l) Om) (-.f64 #s(literal -2 binary64) (*.f64 n (/.f64 (-.f64 U U*) Om))) t) (*.f64 U (*.f64 n #s(literal 2 binary64)))))
Symmetry

(abs l)

Compiler

Compiled 28 to 21 computations (25% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 6 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
55.3%
(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*)))))
Compiler

Compiled 56 to 42 computations (25% saved)

simplify56.0ms (2%)

Memory
-8.6MiB live, 18.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02128
13928
27028
39628
413128
516328
618228
729428
855428
971828
1073028
1177528
1280428
1384028
1487428
1590228
1692328
1793828
1894428
1994528
Stop Event
1×saturated
Calls
Call 1
Inputs
(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*)))))
Outputs
(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*)))))
(sqrt.f64 (*.f64 (-.f64 (*.f64 (-.f64 U* U) (*.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) n)) (-.f64 (*.f64 (/.f64 (*.f64 l l) Om) #s(literal 2 binary64)) t)) (*.f64 U (*.f64 n #s(literal 2 binary64)))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 28 to 21 computations (25% saved)

preprocess2.0ms (0.1%)

Memory
1.8MiB live, 1.8MiB allocated
Remove

(abs l)

Compiler

Compiled 224 to 168 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...