Given's Rotation SVD example
Time bar (total: 1.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 48.6% | 51.4% | 0% | 0% | 0% | 0 |
| 0% | 0% | 48.6% | 51.4% | 0% | 0% | 0% | 1 |
| 0% | 0% | 48.6% | 51.4% | 0% | 0% | 0% | 2 |
| 0% | 0% | 48.6% | 51.4% | 0% | 0% | 0% | 3 |
| 0% | 0% | 48.6% | 51.4% | 0% | 0% | 0% | 4 |
| 31.3% | 15.2% | 33.4% | 51.4% | 0% | 0% | 0% | 5 |
| 34.4% | 16.7% | 31.9% | 51.4% | 0% | 0% | 0% | 6 |
| 51.6% | 25.1% | 23.6% | 51.4% | 0% | 0% | 0% | 7 |
| 53.1% | 25.8% | 22.8% | 51.4% | 0% | 0% | 0% | 8 |
| 62.5% | 30.4% | 18.2% | 51.4% | 0% | 0% | 0% | 9 |
| 63.7% | 31% | 17.7% | 51.4% | 0% | 0% | 0% | 10 |
| 68.6% | 33.3% | 15.3% | 51.4% | 0% | 0% | 0% | 11 |
| 69.2% | 33.7% | 15% | 51.4% | 0% | 0% | 0% | 12 |
Compiled 27 to 21 computations (22.2% saved)
| 20.0ms | 184× | 0 | valid |
| 9.0ms | 37× | 2 | valid |
| 5.0ms | 16× | 3 | valid |
| 4.0ms | 23× | 1 | valid |
const: 7.0ms (22.9% of total)ival-mult: 6.0ms (19.7% of total)ival-sqrt: 5.0ms (16.4% of total)ival-add: 4.0ms (13.1% of total)ival-div: 3.0ms (9.8% of total)adjust: 3.0ms (9.8% of total)ival-fabs: 1.0ms (3.3% of total)ival-<: 1.0ms (3.3% of total)ival-assert: 0.0ms (0% of total)ival-and: 0.0ms (0% of total)exact: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 59 | 0 | - | 0 | - | (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))) |
| 42 | 0 | - | 33 | (-4.880536054036772e-81 -1.878605026969517e+58) | (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))) |
| 30 | 0 | - | 30 | (-5.7526372692268786e-155 -4.901254169515461e+35) | (sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x)))))) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary64) |
| 0 | 0 | - | 0 | - | (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x)))) |
| 0 | 0 | - | 0 | - | #s(literal 4 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 x x) |
| 0 | 0 | - | 0 | - | p |
| 0 | 0 | - | 0 | - | (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x)) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 #s(literal 4 binary64) p) p) |
| 0 | 0 | - | 0 | - | #s(literal 1/2 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 4 binary64) p) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))) | oflow-rescue | 59 | 0 |
| ↳ | (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x)) | overflow | 59 | |
| ↳ | (*.f64 (*.f64 #s(literal 4 binary64) p) p) | overflow | 59 | |
+.f64 | (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))) | cancellation | 9 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 9 | 62 |
| - | 59 | 126 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 9 | 0 | 62 |
| - | 59 | 0 | 126 |
| number | freq |
|---|---|
| 0 | 188 |
| 1 | 68 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 174.0ms | 2 160× | 0 | valid |
| 99.0ms | 456× | 2 | valid |
| 55.0ms | 192× | 3 | valid |
| 40.0ms | 264× | 1 | valid |
Compiled 3 612 to 696 computations (80.7% saved)
ival-mult: 73.0ms (29.7% of total)ival-sqrt: 60.0ms (24.4% of total)ival-add: 46.0ms (18.7% of total)ival-div: 32.0ms (13% of total)adjust: 27.0ms (11% of total)exact: 3.0ms (1.2% of total)ival-true: 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 | 36 | 93 |
| 1 | 90 | 87 |
| 2 | 194 | 87 |
| 3 | 401 | 87 |
| 4 | 661 | 87 |
| 5 | 999 | 87 |
| 6 | 1334 | 87 |
| 7 | 1544 | 87 |
| 8 | 1698 | 87 |
| 9 | 1932 | 87 |
| 10 | 1999 | 87 |
| 11 | 2027 | 87 |
| 12 | 2029 | 87 |
| 0 | 14 | 17 |
| 0 | 23 | 17 |
| 1 | 38 | 17 |
| 2 | 45 | 17 |
| 3 | 47 | 17 |
| 4 | 48 | 17 |
| 0 | 48 | 15 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
| Outputs |
|---|
(sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
(sqrt.f64 (fma.f64 (/.f64 #s(literal 1/2 binary64) (sqrt.f64 (fma.f64 (*.f64 p #s(literal 4 binary64)) p (*.f64 x x)))) x #s(literal 1/2 binary64))) |
(abs p)
Compiled 17 to 14 computations (17.6% saved)
Compiled 0 to 2 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 74.4% | (sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
Compiled 34 to 28 computations (17.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 17 |
| 1 | 22 | 17 |
| 1× | saturated |
| Inputs |
|---|
(sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
| Outputs |
|---|
(sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 x (sqrt.f64 (+.f64 (*.f64 (*.f64 #s(literal 4 binary64) p) p) (*.f64 x x))))))) |
(sqrt.f64 (*.f64 (+.f64 (/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 p #s(literal 4 binary64)) p)))) #s(literal 1 binary64)) #s(literal 1/2 binary64))) |
| 1× | fuel |
Compiled 17 to 14 computations (17.6% saved)
(abs p)
Compiled 164 to 136 computations (17.1% saved)
Loading profile data...