Optimal throwing angle

Time bar (total: 1.5s)

start0.0ms (0%)

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

analyze37.0ms (2.4%)

Memory
5.2MiB live, 51.0MiB allocated; 4ms 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
25%25%74.9%0.1%0%0%0%3
37.5%37.5%62.4%0.1%0%0%0%4
50%43.7%43.7%0.1%0%12.5%0%5
60.7%53.1%34.3%0.1%0%12.5%0%6
72.2%60.9%23.4%0.1%0%15.6%0%7
79.4%63.2%16.4%0.1%0%20.3%0%8
85.6%67.5%11.3%0.1%0%21.1%0%9
89.6%68.9%8%0.1%0%23%0%10
92.7%71.1%5.6%0.1%0%23.2%0%11
94.8%71.9%4%0.1%0%24.1%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample1.1s (75.6%)

Memory
36.2MiB live, 1 343.0MiB allocated; 333ms collecting garbage
Samples
807.0ms8 256×0valid
8.0ms103×0invalid
Precisions
Click to see histograms. Total time spent on operations: 597.0ms
ival-mult: 208.0ms (34.8% of total)
const: 136.0ms (22.8% of total)
ival-atan: 77.0ms (12.9% of total)
ival-div: 70.0ms (11.7% of total)
ival-sqrt: 58.0ms (9.7% of total)
ival-sub: 38.0ms (6.4% of total)
exact: 5.0ms (0.8% of total)
adjust: 3.0ms (0.5% of total)
ival-assert: 3.0ms (0.5% of total)
Bogosity

explain146.0ms (9.7%)

Memory
-52.0MiB live, 267.9MiB allocated; 20ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
730-0-(sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))
00-0-(*.f64 v v)
00-0-(*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64))
00-0-(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
00-0-v
00-0-#s(literal 2 binary64)
00-0-(*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)
00-0-(-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H))
00-0-H
00-0-#s(literal 49/5 binary64)
00-0-(/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H))))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))oflow-rescue730
↳(-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H))overflow73
↳(*.f64 v v)overflow73
Confusion
Predicted +Predicted -
+732
-0181
Precision
1.0
Recall
0.9733333333333334
Confusion?
Predicted +Predicted MaybePredicted -
+7302
-00181
Precision?
1.0
Recall?
0.9733333333333334
Freqs
test
numberfreq
0183
173
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
48.0ms496×0valid
10.0ms16×5exit
Compiler

Compiled 135 to 37 computations (72.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 40.0ms
ival-mult: 11.0ms (27.6% of total)
const: 9.0ms (22.6% of total)
ival-atan: 5.0ms (12.6% of total)
ival-sqrt: 5.0ms (12.6% of total)
ival-div: 4.0ms (10.1% of total)
ival-sub: 3.0ms (7.5% of total)
adjust: 2.0ms (5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess185.0ms (12.3%)

Memory
17.1MiB live, 109.3MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03572
17570
217070
345170
4109070
5254170
6719970
01617
02217
12417
22717
33217
45217
512917
658217
7469617
0842817
Stop Event
1×saturated
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...