
Time bar (total: 2.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 0 |
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 1 |
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 2 |
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 3 |
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 4 |
| 0% | 0% | 3% | 97% | 0% | 0% | 0% | 5 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 6 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 7 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 8 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 9 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 10 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 11 |
| 0% | 0% | 1.5% | 97% | 0% | 1.5% | 0% | 12 |
Compiled 65 to 44 computations (32.3% saved)
| 1.3s | 8 256× | 0 | valid |
| 19.0ms | 129× | 0 | invalid |
ival-div: 239.0ms (23.2% of total)const: 196.0ms (19% of total)ival-mult: 182.0ms (17.7% of total)ival-log: 92.0ms (8.9% of total)ival-<=: 87.0ms (8.4% of total)ival-add: 72.0ms (7% of total)ival-exp: 68.0ms (6.6% of total)ival-sub: 67.0ms (6.5% of total)exact: 12.0ms (1.2% of total)ival-and: 10.0ms (1% of total)adjust: 3.0ms (0.3% of total)ival-assert: 3.0ms (0.3% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 89 | 3 | (-2.510824670005249e-23 -1.9507974098294463e-31 -1.4683198190928054e-24 -7.448658643510912e-29 6.608070979297054e-9) | 29 | (-1.8022246405760534e-37 3.651396340842439e-8 -0.9401121139526367 0.009680032730102539 1.0604609231761389e-13) | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
| 85 | 4 | (-2.510824670005249e-23 -1.9507974098294463e-31 -1.4683198190928054e-24 -7.448658643510912e-29 6.608070979297054e-9) | 33 | (-2.2730530100554654e-36 2.4062487113951647e-7 -4.452617778892529e-23 -1.752719824178664e-18 1.3090720347996854e-11) | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
| 3 | 0 | - | 0 | - | (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))) |
| 2 | 3 | (-5.692393136462605e-28 1.7844130440816828e-38 -1.398646337635867e-10 8.373729810872157e-32 0.001665049814619124) | 2 | (2.095283705152011e-28 3.619143526534252e-11 0.01887393929064274 -2.233670351139321e-16 0.014556970447301865) | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))))) |
| 0 | 0 | - | 0 | - | (/.f32 #s(literal 1 binary32) v) |
| 0 | 0 | - | 0 | - | (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)) |
| 0 | 0 | - | 0 | - | #s(literal 2 binary32) |
| 0 | 0 | - | 0 | - | (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))) |
| 0 | 0 | - | 0 | - | sinTheta_i |
| 0 | 0 | - | 0 | - | v |
| 0 | 0 | - | 0 | - | cosTheta_i |
| 0 | 0 | - | 0 | - | (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) |
| 0 | 0 | - | 0 | - | sinTheta_O |
| 0 | 0 | - | 0 | - | (*.f32 #s(literal 2 binary32) v) |
| 0 | 0 | - | 0 | - | (*.f32 sinTheta_i sinTheta_O) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary32) |
| 0 | 0 | - | 0 | - | (*.f32 cosTheta_i cosTheta_O) |
| 0 | 0 | - | 0 | - | #s(literal 6931/10000 binary32) |
| 0 | 0 | - | 0 | - | (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
| 0 | 0 | - | 0 | - | (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) |
| 0 | 0 | - | 0 | - | cosTheta_O |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
/.f32 | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) | u/n | 8 | 0 |
| ↳ | (*.f32 sinTheta_i sinTheta_O) | underflow | 79 | |
exp.f32 | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))))) | sensitivity | 3 | 5 |
/.f32 | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) | u/n | 3 | 0 |
| ↳ | (*.f32 cosTheta_i cosTheta_O) | underflow | 82 | |
log.f32 | (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))) | oflow-rescue | 3 | 0 |
| ↳ | (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)) | overflow | 3 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3 | 4 |
| - | 14 | 235 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3 | 3 | 1 |
| - | 14 | 2 | 233 |
| number | freq |
|---|---|
| 0 | 239 |
| 1 | 17 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 73.0ms | 512× | 0 | valid |
Compiled 295 to 67 computations (77.3% saved)
ival-div: 14.0ms (27.5% of total)ival-mult: 9.0ms (17.7% of total)ival-log: 7.0ms (13.7% of total)const: 7.0ms (13.7% of total)ival-exp: 4.0ms (7.8% of total)ival-add: 4.0ms (7.8% of total)ival-sub: 4.0ms (7.8% of total)exact: 1.0ms (2% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 504 |
| 1 | 465 | 439 |
| 2 | 1183 | 422 |
| 3 | 3829 | 420 |
| 0 | 30 | 33 |
| 0 | 43 | 33 |
| 1 | 46 | 33 |
| 2 | 50 | 33 |
| 3 | 61 | 33 |
| 4 | 111 | 33 |
| 5 | 407 | 33 |
| 6 | 3800 | 33 |
| 0 | 8107 | 33 |
| 1× | saturated |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...