Toniolo and Linder, Equation (13)

Time bar (total: 3.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze514.0ms (16.9%)

Memory
3.8MiB live, 201.2MiB 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)

sample103.0ms (3.4%)

Memory
6.5MiB live, 36.6MiB allocated
Samples
46.0ms391×0invalid
30.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 55.0ms
ival-mult: 26.0ms (47.4% of total)
ival-div: 9.0ms (16.4% of total)
ival-sub: 9.0ms (16.4% of total)
ival-pow2: 6.0ms (10.9% of total)
ival-sqrt: 4.0ms (7.3% 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)
Bogosity

explain2.2s (71.4%)

Memory
3.3MiB live, 1 616.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
720-1(1.4719270236048644e+35 -3.0473816507471544e-301 -2.0242948281033636e-56 -2.586828814207277e-48 6.09912644193994e+68 8.363612073373922e+139)(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*)))))
400-1(-5.176171213964507e-130 -3.153117543708033e-188 1.2073361264331768e+282 1.2859379901156854e+95 -9.120715348416616e+256 -8.519948001064528e+21)(*.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(-1.8085527186057783e-96 5.6397595081385965e+150 -5.3145071229163005e+143 2.288166951926551e-295 -2.9047839685023904e-186 1.4121100216870004e+163)(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))
310-1(-1.338992311441112e-134 -1.5321051357108914e-116 1.7410842708202388e-131 7.169946868647119e-162 -7.791531915441552e-45 -2.523396701401894e+117)(/.f64 (*.f64 l l) Om)
2114(-1.3663510769138779e+206 3.285226868624079e-162 -2.7069176610242696e+273 2.5349925488654948e+123 3.767888514755424e-242 4.5771571335662016e+178)9(3.169257316603917e-36 8.778029677244513e-126 -1.0654289748281531e-36 -4.8092101298799867e+42 1.2565974676637487e-307 1.2752195814673992e+26)(-.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*)))
160-2(1.5786671488824067e+153 1.2533567241406987e-14 6.264167537019942e+210 3.3676514895635296e+96 4.079966007500345e+257 2.926327016544589e+304)(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))
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-rescue410
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow58
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow68
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow51
↳(*.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*))))overflow79
↳(-.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*)))overflow78
↳(/.f64 (*.f64 l l) Om)overflow58
↳(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)overflow15
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow54
↳(/.f64 l Om)overflow23
↳(*.f64 l l)overflow65
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow58
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-rescue300
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))underflow72
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow99
↳(*.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*))))underflow31
↳(/.f64 (*.f64 l l) Om)underflow78
↳(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)underflow46
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow81
↳(/.f64 l Om)underflow41
↳(*.f64 l l)underflow65
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow78
-.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-rescue260
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow58
↳(/.f64 (*.f64 l l) Om)overflow58
↳(*.f64 l l)overflow65
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow58
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow68
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow51
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow54
↳(/.f64 l Om)overflow23
/.f64(/.f64 (*.f64 l l) Om)o/n160
↳(*.f64 l l)overflow65
*.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*o140
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow46
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow58
↳(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))overflow68
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))overflow51
↳(/.f64 (*.f64 l l) Om)overflow58
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow54
↳(-.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*)))overflow78
↳(/.f64 l Om)overflow23
↳(*.f64 l l)overflow65
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow58
*.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*u130
*.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*o90
*.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*u20
Confusion
Predicted +Predicted -
+1225
-10119
Precision
0.9242424242424242
Recall
0.9606299212598425
Confusion?
Predicted +Predicted MaybePredicted -
+12205
-100119
Precision?
0.9242424242424242
Recall?
0.9606299212598425
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0124
1106
219
37
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
12.924072265625
Average Time
0.050484657287597656
Samples
410.0ms3 072×0valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 260.0ms
ival-mult: 123.0ms (47.3% of total)
ival-div: 42.0ms (16.2% of total)
ival-sub: 40.0ms (15.4% of total)
ival-pow2: 30.0ms (11.5% of total)
ival-sqrt: 19.0ms (7.3% of total)
ival-true: 2.0ms (0.8% of total)
exact: 2.0ms (0.8% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

preprocess191.0ms (6.3%)

Memory
-0.5MiB 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
52.9%
(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)

simplify57.0ms (1.9%)

Memory
-7.3MiB live, 18.8MiB 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.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 28 to 21 computations (25% saved)

preprocess3.0ms (0.1%)

Memory
1.7MiB live, 1.7MiB 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...