Rosa's TurbineBenchmark

Time bar (total: 2.0s)

start0.0ms (0%)

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

analyze163.0ms (8.2%)

Memory
19.3MiB live, 163.1MiB allocated; 32ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
37.5%37.4%62.4%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.5%34.3%0.1%0%0%0%8
65.6%65.5%34.3%0.1%0%0%0%9
76.6%76.5%23.4%0.1%0%0%0%10
82%81.9%17.9%0.1%0%0%0%11
82%81.9%17.9%0.1%0%0%0%12
Compiler

Compiled 31 to 24 computations (22.6% saved)

sample1.4s (72.8%)

Memory
-68.4MiB live, 1 845.2MiB allocated; 256ms collecting garbage
Samples
955.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 710.0ms
ival-mult: 366.0ms (51.5% of total)
ival-sub: 158.0ms (22.2% of total)
ival-div: 119.0ms (16.8% of total)
ival-add: 42.0ms (5.9% of total)
exact: 21.0ms (3% of total)
adjust: 3.0ms (0.4% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain297.0ms (15%)

Memory
1.0MiB live, 426.5MiB allocated; 55ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
430-1(-1.3375099527756387e-193 -4.042836498026555e-162 1.114250420038445e+65)(*.f64 (*.f64 w w) r)
180-0-(/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))
160-2(2.405900599254495e-86 5.844072667105226e-278 3.6293685576703367e+233)(*.f64 (*.f64 (*.f64 w w) r) r)
90-1(3.3464584634249074e+264 -3.7757807116466033e+108 7.363939069257835e-265)(*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r))
20-0-(/.f64 #s(literal 2 binary64) (*.f64 r r))
10-0-(*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v)))
00-0-#s(literal 1 binary64)
00-0-#s(literal 3 binary64)
00-0-#s(literal 9/2 binary64)
00-0-#s(literal 1/8 binary64)
00-0-v
00-0-(*.f64 w w)
00-0-(*.f64 r r)
00-0-(-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))
00-0-(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
00-0-(+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r)))
00-0-(-.f64 #s(literal 1 binary64) v)
00-0-(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v)))
00-0-(*.f64 #s(literal 2 binary64) v)
00-0-#s(literal 2 binary64)
00-0-w
00-0-r
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 (*.f64 w w) r)n*o190
/.f64(/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))o/n180
↳(*.f64 (*.f64 w w) r)overflow55
↳(*.f64 w w)overflow63
↳(*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r))overflow83
↳(-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))overflow1
↳(*.f64 #s(literal 2 binary64) v)overflow1
↳(*.f64 (*.f64 (*.f64 w w) r) r)overflow65
*.f64(*.f64 (*.f64 (*.f64 w w) r) r)n*o100
*.f64(*.f64 (*.f64 w w) r)n*u90
*.f64(*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v)))n*o10
Confusion
Predicted +Predicted -
+460
-1209
Precision
0.9787234042553191
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+4600
-10209
Precision?
0.9787234042553191
Recall?
1.0
Freqs
test
numberfreq
0209
137
210
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
75.0ms512×0valid
Compiler

Compiled 325 to 70 computations (78.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.0ms
ival-mult: 27.0ms (55.8% of total)
ival-sub: 11.0ms (22.7% of total)
ival-div: 6.0ms (12.4% of total)
ival-add: 2.0ms (4.1% of total)
ival-true: 1.0ms (2.1% of total)
exact: 1.0ms (2.1% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess78.0ms (4%)

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

Useful iterations: 2 (0.0ms)

IterNodesCost
083297
1249295
21026275
33677273
02229
03629
17329
223525
3134425
4553425
0814625
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...