Equirectangular approximation to distance on a great circle
Time bar (total: 774.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 0 |
| 100% | 99.8% | 0% | 0.2% | 0% | 0% | 0% | 1 |
Compiled 34 to 16 computations (52.9% saved)
| 15.0ms | 194× | 0 | valid |
| 13.0ms | 66× | 1 | valid |
ival-hypot: 4.0ms (19.9% of total)ival-cos: 4.0ms (19.9% of total)ival-mult: 4.0ms (19.9% of total)adjust: 3.0ms (14.9% of total)ival-div: 2.0ms (10% of total)ival-sub: 2.0ms (10% of total)ival-add: 1.0ms (5% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)| Predicted + | Predicted - | |
|---|---|---|
| + | 107 | 0 |
| - | 80 | 69 |
| 188.0ms | 2 280× | 0 | valid |
| 156.0ms | 792× | 1 | valid |
Compiled 1 176 to 600 computations (49% saved)
ival-hypot: 54.0ms (21.8% of total)ival-mult: 43.0ms (17.4% of total)ival-cos: 42.0ms (17% of total)ival-sub: 31.0ms (12.5% of total)adjust: 30.0ms (12.1% of total)ival-div: 24.0ms (9.7% of total)ival-add: 18.0ms (7.3% of total)ival-true: 2.0ms (0.8% of total)exact: 2.0ms (0.8% of total)ival-assert: 1.0ms (0.4% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 149 | 667 |
| 1 | 357 | 661 |
| 2 | 923 | 645 |
| 3 | 4473 | 645 |
| 4 | 7816 | 645 |
| 0 | 17 | 32 |
| 0 | 28 | 32 |
| 1 | 43 | 32 |
| 2 | 88 | 32 |
| 3 | 302 | 32 |
| 4 | 1055 | 32 |
| 5 | 3348 | 32 |
| 6 | 6812 | 32 |
| 0 | 8149 | 16 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64)))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) |
| Outputs |
|---|
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64)))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) |
(*.f64 (hypot.f64 (-.f64 phi2 phi1) (*.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) #s(literal 2 binary64))) (-.f64 lambda1 lambda2))) R) |
(negabs R)
(sort lambda1 lambda2)
(sort phi1 phi2)
Compiled 32 to 17 computations (46.9% saved)
Compiled 0 to 5 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 60.2% | (*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64)))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) |
Compiled 64 to 34 computations (46.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 32 |
| 1 | 25 | 32 |
| 2 | 33 | 32 |
| 3 | 37 | 32 |
| 4 | 39 | 32 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64)))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) |
| Outputs |
|---|
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64)))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) #s(literal 2 binary64))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)) (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) #s(literal 2 binary64))) (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) #s(literal 2 binary64))) (-.f64 lambda1 lambda2))))) R) |
| 1× | fuel |
Compiled 32 to 17 computations (46.9% saved)
(sort phi1 phi2)
(sort lambda1 lambda2)
(negabs R)
Compiled 512 to 272 computations (46.9% saved)
Loading profile data...