Time bar (total: 2.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 66 to 48 computations (27.3% saved)
| 2.3s | 8256× | body | 128 | valid |
Compiled 132 to 96 computations (27.3% saved)
| 2× | egg-herbie |
| 696× | associate-/l*_binary32 |
| 691× | associate-/l/_binary32 |
| 677× | times-frac_binary32 |
| 373× | associate-/r/_binary32 |
| 359× | associate-/r*_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 102 | 374 |
| 1 | 361 | 374 |
| 2 | 1272 | 352 |
| 0 | 5 | 5 |
| 1 | 5 | 5 |
| 1× | unsound |
| 1× | node limit |
(sort cosTheta_i cosTheta_O)
(sort sinTheta_i sinTheta_O)
Compiled 27 to 19 computations (29.6% saved)
| 1× | egg-herbie |
| 914× | times-frac_binary32 |
| 551× | associate-/l*_binary32 |
| 460× | associate-/l/_binary32 |
| 360× | associate-*l/_binary32 |
| 311× | associate-/r/_binary32 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 34 |
| 1 | 54 | 34 |
| 2 | 173 | 32 |
| 3 | 800 | 32 |
| 1× | node limit |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| 0.5b | (*.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (*.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O)) | |
| ▶ | 0.4b | (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
Compiled 154 to 106 computations (31.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v) |
| ✓ | 0.3b | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
| ✓ | 0.3b | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
| ✓ | 0.8b | (sinh.f32 (/.f32 1 v)) |
24 calls:
| 10.0ms | (sinh.f32 (/.f32 1 v)) | v | 0 |
| 5.0ms | (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v) | v | 0 |
| 2.0ms | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) | v | 0 |
| 2.0ms | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) | sinTheta_O | -inf |
| 2.0ms | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) | sinTheta_i | -inf |
| 1× | batch-egg-rewrite |
Loading profile data...