Henrywood and Agarwal, Equation (9a)

Time bar (total: 2.8s)

start0.0ms (0%)

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

analyze456.0ms (16.6%)

Memory
44.1MiB live, 556.5MiB allocated; 61ms 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
12.5%12.5%87.2%0.3%0%0%0%7
12.5%12.5%87.2%0.3%0%0%0%8
12.5%12.5%87.2%0.3%0%0%0%9
12.5%12.5%87.2%0.3%0%0%0%10
12.5%12.5%87.2%0.3%0%0%0%11
18.8%18.7%81%0.3%0%0%0%12
Compiler

Compiled 20 to 19 computations (5% saved)

sample1.9s (68%)

Memory
-11.9MiB live, 2 197.6MiB allocated; 412ms collecting garbage
Samples
937.0ms8 256×0valid
349.0ms2 864×0invalid
Precisions
Click to see histograms. Total time spent on operations: 840.0ms
ival-mult: 331.0ms (39.4% of total)
ival-div: 198.0ms (23.6% of total)
ival-pow2: 135.0ms (16.1% of total)
ival-sqrt: 95.0ms (11.3% of total)
ival-sub: 58.0ms (6.9% of total)
exact: 15.0ms (1.8% of total)
ival-assert: 4.0ms (0.5% of total)
adjust: 3.0ms (0.4% of total)
Bogosity

explain333.0ms (12.1%)

Memory
-26.9MiB live, 216.9MiB allocated; 22ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
440-2(-8.70880208704619e-222 -3.960045394903985e+77 -29836779211311.13 -2.6765783158122773e-72 -3.8058986762027787e-115 7.051097570940867e+245)(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))
260-0-(sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))
210-2(8.964864792381806e-35 -2.7047295112210165e-104 1.8233814358867132e-214 58825.823499770435 -4.06315071174025e+64 -2.26733133620115e-27)(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))
70-0-(*.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
00-0-D
00-0-(*.f64 #s(literal 2 binary64) d)
00-0-(/.f64 h l)
00-0-(pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))
00-0-d
00-0-#s(literal 1 binary64)
00-0-(*.f64 M D)
00-0-w0
00-0-(-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))
00-0-#s(literal 2 binary64)
00-0-l
00-0-M
00-0-h
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))oflow-rescue260
↳(pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))overflow60
↳(-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))overflow57
↳(sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))overflow31
↳(*.f64 M D)overflow24
↳(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))overflow29
↳(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))overflow57
↳(/.f64 h l)overflow27
*.f64(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))n*o120
/.f64(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))o/n100
↳(*.f64 M D)overflow24
*.f64(*.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))n*o70
*.f64(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))o*u30
↳(pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))overflow60
↳(*.f64 M D)overflow24
↳(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))overflow29
↳(/.f64 h l)underflow27
*.f64(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))u*o30
↳(pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))underflow107
↳(*.f64 M D)underflow41
↳(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))underflow58
↳(/.f64 h l)overflow27
/.f64(/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d))u/n10
↳(*.f64 M D)underflow41
Confusion
Predicted +Predicted -
+4312
-13188
Precision
0.7678571428571429
Recall
0.7818181818181819
Confusion?
Predicted +Predicted MaybePredicted -
+43012
-130188
Precision?
0.7678571428571429
Recall?
0.7818181818181819
Freqs
test
numberfreq
0200
150
26
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
59.0ms512×0valid
Compiler

Compiled 212 to 55 computations (74.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.0ms
ival-mult: 13.0ms (37.8% of total)
ival-div: 8.0ms (23.2% of total)
ival-pow2: 6.0ms (17.4% of total)
ival-sqrt: 4.0ms (11.6% of total)
ival-sub: 3.0ms (8.7% of total)
exact: 1.0ms (2.9% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess91.0ms (3.3%)

Memory
-1.5MiB live, 91.0MiB allocated; 6ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0168514
1461510
21474510
34405510
01718
02618
14718
212218
387318
4542818
0841118
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...