Optimal throwing angle
Time bar (total: 1.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
Compiled 15 to 13 computations (13.3% saved)
| 1.0s | 8 256× | 0 | valid |
| 9.0ms | 118× | 0 | invalid |
ival-mult: 170.0ms (30% of total)const: 131.0ms (23.1% of total)ival-atan: 84.0ms (14.8% of total)ival-div: 70.0ms (12.4% of total)ival-sqrt: 64.0ms (11.3% of total)ival-sub: 34.0ms (6% of total)ival-true: 6.0ms (1.1% of total)exact: 5.0ms (0.9% of total)ival-assert: 3.0ms (0.5% of total)| 2× | egg-herbie |
| 224× | accelerator-lowering-fma.f32 |
| 224× | accelerator-lowering-fma.f64 |
| 168× | *-lowering-*.f32 |
| 168× | *-lowering-*.f64 |
| 140× | sub-neg |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 72 |
| 1 | 67 | 70 |
| 2 | 122 | 70 |
| 3 | 227 | 70 |
| 4 | 397 | 70 |
| 5 | 645 | 70 |
| 6 | 872 | 70 |
| 7 | 1015 | 70 |
| 8 | 1160 | 70 |
| 9 | 1194 | 70 |
| 10 | 1210 | 70 |
| 0 | 12 | 11 |
| 1 | 19 | 11 |
| 2 | 29 | 11 |
| 3 | 38 | 11 |
| 4 | 54 | 11 |
| 5 | 75 | 11 |
| 6 | 119 | 11 |
| 7 | 163 | 11 |
| 8 | 219 | 11 |
| 9 | 276 | 11 |
| 10 | 365 | 11 |
| 11 | 405 | 11 |
| 12 | 494 | 11 |
| 13 | 516 | 11 |
| 14 | 524 | 11 |
| 0 | 524 | 10 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) H))))) |
| Outputs |
|---|
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) H))))) |
(atan.f64 (/.f64 v (sqrt.f64 (fma.f64 v v (fma.f64 H #s(literal -98/5 binary64) #s(literal 0 binary64)))))) |
| Inputs |
|---|
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) H))))) |
(atan (/ (neg v) (sqrt (- (* (neg v) (neg v)) (* (* 2 49/5) H))))) |
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) (neg H)))))) |
(neg (atan (/ (neg v) (sqrt (- (* (neg v) (neg v)) (* (* 2 49/5) H)))))) |
(neg (atan (/ v (sqrt (- (* v v) (* (* 2 49/5) (neg H))))))) |
(atan (/ H (sqrt (- (* H H) (* (* 2 49/5) v))))) |
| Outputs |
|---|
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) H))))) |
(atan (/ v (sqrt (+ (* v v) (* H -98/5))))) |
(atan (/ (neg v) (sqrt (- (* (neg v) (neg v)) (* (* 2 49/5) H))))) |
(atan (/ (neg v) (sqrt (+ (* v v) (* H -98/5))))) |
(atan (/ v (sqrt (- (* v v) (* (* 2 49/5) (neg H)))))) |
(atan (/ v (sqrt (+ (* v v) (* 98/5 H))))) |
(neg (atan (/ (neg v) (sqrt (- (* (neg v) (neg v)) (* (* 2 49/5) H)))))) |
(neg (atan (/ (neg v) (sqrt (+ (* v v) (* H -98/5)))))) |
(neg (atan (/ v (sqrt (- (* v v) (* (* 2 49/5) (neg H))))))) |
(neg (atan (/ v (sqrt (+ (* v v) (* 98/5 H)))))) |
(atan (/ H (sqrt (- (* H H) (* (* 2 49/5) v))))) |
(atan (/ H (sqrt (+ (* H H) (* v -98/5))))) |
| 0.0ms | 3× | 0 | valid |
Compiled 61 to 13 computations (78.7% saved)
ival-div: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)ival-atan: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-sqrt: 0.0ms (0% of total)const: 0.0ms (0% of total)exact: 0.0ms (0% of total)Loading profile data...