Optimal throwing angle

Time bar (total: 170.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze31.0ms (18%)

Memory
0.5MiB live, 9.4MiB allocated
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)

sample31.0ms (18.1%)

Memory
1.9MiB live, 9.4MiB allocated
Samples
22.0ms260×0valid
0.0ms3×0invalid
Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-mult: 5.0ms (29.7% of total)
const: 3.0ms (17.8% of total)
ival-div: 2.0ms (11.9% of total)
ival-atan: 2.0ms (11.9% of total)
ival-sqrt: 2.0ms (11.9% of total)
ival-sub: 1.0ms (5.9% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain35.0ms (20.4%)

Memory
3.2MiB live, 10.7MiB allocated
Confusion
Predicted +Predicted -
+721
-0183
Precision
1.0
Recall
0.9863013698630136
Samples
23.0ms256×0valid
Compiler

Compiled 41 to 35 computations (14.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-mult: 5.0ms (29.8% of total)
const: 3.0ms (17.9% of total)
ival-div: 2.0ms (11.9% of total)
ival-atan: 2.0ms (11.9% of total)
ival-sqrt: 2.0ms (11.9% of total)
ival-sub: 1.0ms (6% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess48.0ms (28.5%)

Memory
-2.5MiB live, 6.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02861
16359
211859
322359
439159
563959
686659
7100959
8115459
9118859
10120459
01111
01911
12611
23611
34511
46111
58211
612611
717311
822911
928611
1037511
1141511
1250411
1352611
1453411
053410
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
Outputs
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
(atan.f64 (/.f64 v (sqrt.f64 (fma.f64 #s(literal -98/5 binary64) H (*.f64 v v)))))
Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.4%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
72.2%
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
Compiler

Compiled 26 to 22 computations (15.4% saved)

simplify23.0ms (13.8%)

Memory
2.4MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11813
23613
34613
45413
55713
Stop Event
1×saturated
Calls
Call 1
Inputs
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
Outputs
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 49/5 binary64)) H)))))
(atan.f64 (/.f64 v (sqrt.f64 (-.f64 (*.f64 v v) (*.f64 H (*.f64 #s(literal 49/5 binary64) #s(literal 2 binary64)))))))

soundness0.0ms (0.3%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 13 to 11 computations (15.4% saved)

preprocess1.0ms (0.4%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 52 to 44 computations (15.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...