Optimal throwing angle

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze31.0ms (2.1%)

Memory
37.8MiB live, 37.8MiB allocated
Algorithm
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.4s (97.9%)

Memory
-116.1MiB live, 1 329.6MiB allocated
Samples
1.1s8 256×0valid
7.0ms91×0invalid
Precisions
Click to see histograms. Total time spent on operations: 876.0ms
const: 412.0ms (47% of total)
ival-mult: 189.0ms (21.6% of total)
ival-atan: 82.0ms (9.4% of total)
ival-sqrt: 66.0ms (7.5% of total)
ival-div: 61.0ms (7% of total)
ival-sub: 50.0ms (5.7% of total)
ival-true: 7.0ms (0.8% of total)
exact: 6.0ms (0.7% of total)
ival-assert: 4.0ms (0.5% of total)
Bogosity

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...