Toniolo and Linder, Equation (13)

Time bar (total: 2.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze479.0ms (16.5%)

Memory
2.8MiB live, 200.1MiB 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)

sample96.0ms (3.3%)

Memory
5.3MiB live, 35.7MiB allocated
Samples
42.0ms383×0invalid
28.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 49.0ms
ival-mult: 23.0ms (46.9% of total)
ival-div: 8.0ms (16.3% of total)
ival-sub: 8.0ms (16.3% of total)
ival-pow2: 6.0ms (12.2% of total)
ival-sqrt: 3.0ms (6.1% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain2.1s (72%)

Memory
6.5MiB live, 1 611.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
650-1(-1.885960912427531e-136 1.0786965898762532e-104 -5.676089580118893e-76 5.045300624656264e-198 1.629935440176129e+102 2.3421717066878065e+57)(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-2(6.113463504431697e-231 1.8400315975651858e-84 1.3527917835384952e+50 -5.007051631466593e+69 -4.5973042860313415e-51 6.73199465079183e-47)(*.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*))))
380-2(-6.308371194285253e-284 -2.93961886358639e-147 8.547087284166103e+171 -6.2663409955071764e-161 2.7290830185049352e-102 1.5387605569204682e-292)(/.f64 (*.f64 l l) Om)
281(-4.582374642364735e+28 -33037713214.31731 3.8752371454292336e-32 -1.6420525532535293e-148 8.34155819966987e+32 6.917849438609403e-162)3(1.918622231934951e-102 -3.3356560980191024e-22 -1.3438269350014616e+106 8.090907555511681e-275 1.3328965255011923e-170 -4.843385584350166e+118)(*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))
2311(-1.7407969387779435e+272 9.66059704284276e-304 -9.88921258758126e+142 1.034092416541213e+205 5.799500566906157e-124 2.787754596902846e+54)10(-5.103535151800151e+165 -7.647546118656396e+122 -1.1763134091894391e+42 -1.3725902687320826e+198 1.188060652081767e-194 -1.0565781352883397e+305)(-.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*)))
200-0-(*.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-rescue440
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow49
↳(*.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)))overflow55
↳(*.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*)))overflow69
↳(/.f64 (*.f64 l l) Om)overflow49
↳(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*)))))overflow30
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)overflow10
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow22
↳(*.f64 l l)overflow63
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow49
-.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-rescue240
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow49
↳(/.f64 (*.f64 l l) Om)overflow49
↳(*.f64 l l)overflow63
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow49
↳(*.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)))overflow55
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))overflow51
↳(/.f64 l Om)overflow22
/.f64(/.f64 (*.f64 l l) Om)o/n230
↳(*.f64 l l)overflow63
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*))underflow79
↳(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))underflow90
↳(/.f64 (*.f64 l l) Om)underflow74
↳(*.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*))))underflow20
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow38
↳(pow.f64 (/.f64 l Om) #s(literal 2 binary64))underflow85
↳(/.f64 l Om)underflow38
↳(*.f64 l l)underflow62
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))underflow74
*.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*u140
*.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 (*.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*o120
↳(*.f64 (*.f64 #s(literal 2 binary64) n) U)underflow38
↳(-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om)))overflow49
↳(*.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)))overflow55
↳(/.f64 (*.f64 l l) Om)overflow49
↳(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*)))overflow69
↳(/.f64 l Om)overflow22
↳(*.f64 l l)overflow63
↳(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))overflow49
*.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*o70
*.f64(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))n*u20
Confusion
Predicted +Predicted -
+1248
-10114
Precision
0.9253731343283582
Recall
0.9393939393939394
Confusion?
Predicted +Predicted MaybePredicted -
+12408
-100114
Precision?
0.9253731343283582
Recall?
0.9393939393939394
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0122
1103
229
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
12.33837890625
Average Time
0.04819679260253906
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: 116.0ms (47.9% of total)
ival-div: 38.0ms (15.7% of total)
ival-sub: 38.0ms (15.7% of total)
ival-pow2: 27.0ms (11.1% of total)
ival-sqrt: 18.0ms (7.4% 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)

preprocess194.0ms (6.6%)

Memory
0.1MiB live, 49.0MiB 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
51.1%
(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)

simplify42.0ms (1.5%)

Memory
-4.9MiB 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.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...