Midpoint on a great circle
Time bar (total: 3.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 6 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 7 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 8 |
| 9.4% | 9.4% | 90.4% | 0.2% | 0% | 0% | 0% | 9 |
| 9.4% | 9.4% | 90.4% | 0.2% | 0% | 0% | 0% | 10 |
| 10.9% | 10.9% | 88.9% | 0.2% | 0% | 0% | 0% | 11 |
| 10.9% | 10.9% | 88.9% | 0.2% | 0% | 0% | 0% | 12 |
Compiled 22 to 16 computations (27.3% saved)
| 92.0ms | 145× | 1 | valid |
| 13.0ms | 115× | 0 | valid |
ival-cos: 57.0ms (58.8% of total)ival-sin: 13.0ms (13.4% of total)adjust: 10.0ms (10.3% of total)ival-atan2: 6.0ms (6.2% of total)ival-mult: 5.0ms (5.2% of total)ival-add: 3.0ms (3.1% of total)ival-sub: 2.0ms (2.1% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 61 | 137 | (-4.648269235292702e-209 8.563924981043957e+146 -2.8107478449462002e-306 1.1946862682319153e-145) | 0 | - | (sin.f64 (-.f64 lambda1 lambda2)) |
| 61 | 133 | (-4.648269235292702e-209 8.563924981043957e+146 -2.8107478449462002e-306 1.1946862682319153e-145) | 0 | - | (cos.f64 (-.f64 lambda1 lambda2)) |
| 9 | 86 | (3.696447116382285e+127 -4.83792800774816e-181 9.738261026832187e+115 -1.5270063397013202e+124) | 0 | - | (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))) |
| 0 | 0 | - | 0 | - | lambda2 |
| 0 | 0 | - | 0 | - | phi1 |
| 0 | 56 | (-1.0595081775475461e+189 1.5521923550120715e-206 1.1202301707153897e-269 -5.407336558268078e-37) | 0 | - | (+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
| 0 | 0 | - | 0 | - | phi2 |
| 0 | 0 | - | 0 | - | (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))) |
| 0 | 0 | - | 0 | - | (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) |
| 0 | 0 | - | 0 | - | (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) |
| 0 | 0 | - | 0 | - | (-.f64 lambda1 lambda2) |
| 0 | 0 | - | 0 | - | lambda1 |
| 0 | 0 | - | 0 | - | (cos.f64 phi2) |
| 0 | 0 | - | 0 | - | (cos.f64 phi1) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sin.f64 | (sin.f64 (-.f64 lambda1 lambda2)) | sensitivity | 195 | 0 |
cos.f64 | (cos.f64 (-.f64 lambda1 lambda2)) | sensitivity | 194 | 0 |
+.f64 | (+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) | cancellation | 56 | 0 |
+.f64 | (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))) | cancellation | 47 | 0 |
sin.f64 | (sin.f64 (-.f64 lambda1 lambda2)) | cancelation | 3 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 7 | 0 |
| - | 203 | 46 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 7 | 0 | 0 |
| - | 203 | 0 | 46 |
| number | freq |
|---|---|
| 0 | 46 |
| 1 | 13 |
| 2 | 113 |
| 3 | 80 |
| 4 | 4 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.4s | 2 280× | 1 | valid |
| 100.0ms | 792× | 0 | valid |
Compiled 3 180 to 696 computations (78.1% saved)
ival-cos: 765.0ms (57.1% of total)ival-sin: 193.0ms (14.4% of total)adjust: 152.0ms (11.4% of total)ival-atan2: 84.0ms (6.3% of total)ival-mult: 68.0ms (5.1% of total)ival-add: 46.0ms (3.4% of total)ival-sub: 27.0ms (2% of total)ival-true: 3.0ms (0.2% of total)ival-assert: 1.0ms (0.1% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 92 | 294 |
| 1 | 168 | 287 |
| 2 | 260 | 285 |
| 3 | 480 | 285 |
| 4 | 784 | 285 |
| 5 | 994 | 285 |
| 6 | 1259 | 285 |
| 7 | 1523 | 285 |
| 8 | 1851 | 285 |
| 9 | 2185 | 285 |
| 10 | 2611 | 285 |
| 11 | 2780 | 285 |
| 12 | 2875 | 285 |
| 13 | 2915 | 285 |
| 14 | 2939 | 285 |
| 15 | 2943 | 285 |
| 16 | 2943 | 285 |
| 0 | 14 | 20 |
| 0 | 24 | 20 |
| 1 | 30 | 20 |
| 2 | 35 | 20 |
| 3 | 41 | 20 |
| 4 | 50 | 20 |
| 5 | 74 | 20 |
| 6 | 113 | 20 |
| 7 | 152 | 20 |
| 8 | 221 | 20 |
| 9 | 274 | 20 |
| 10 | 362 | 20 |
| 11 | 397 | 20 |
| 12 | 426 | 20 |
| 13 | 490 | 20 |
| 14 | 529 | 20 |
| 15 | 548 | 20 |
| 16 | 568 | 20 |
| 17 | 590 | 20 |
| 18 | 606 | 20 |
| 19 | 609 | 20 |
| 0 | 609 | 19 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
| Outputs |
|---|
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
(+.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi2) (cos.f64 phi1))) lambda1) |
(abs phi2)
(abs phi1)
Compiled 20 to 14 computations (30% saved)
Compiled 0 to 4 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 98.7% | (+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
Compiled 40 to 28 computations (30% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 20 |
| 1 | 20 | 20 |
| 2 | 25 | 20 |
| 3 | 27 | 20 |
| 4 | 28 | 20 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
| Outputs |
|---|
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))) |
(+.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))) lambda1) |
| 1× | fuel |
Compiled 20 to 14 computations (30% saved)
(abs phi1)
(abs phi2)
Compiled 240 to 168 computations (30% saved)
Loading profile data...