Time bar (total: 10.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 3% | 97% | 0 |
| 0% | 3% | 97% | 1 |
| 0% | 3% | 97% | 2 |
| 0% | 3% | 97% | 3 |
| 0% | 3% | 97% | 4 |
| 0% | 3% | 97% | 5 |
| 0% | 1.5% | 98.5% | 6 |
| 0% | 1.5% | 98.5% | 7 |
| 0% | 1.5% | 98.5% | 8 |
| 0% | 1.5% | 98.5% | 9 |
| 0% | 1.5% | 98.5% | 10 |
| 0% | 1.5% | 98.5% | 11 |
| 0% | 1.5% | 98.5% | 12 |
| 0% | 1.5% | 98.5% | 13 |
| 0% | 1.5% | 98.5% | 14 |
Compiled 69 to 51 computations (26.1% saved)
(sort cosTheta_i cosTheta_O)
(sort sinTheta_i sinTheta_O)
| 2.8s | 8256× | body | 128 | valid |
| 44.0ms | 138× | body | 128 | invalid |
Compiled 99 to 73 computations (26.3% saved)
| 1× | egg-herbie |
| 788× | fma-neg_binary32 |
| 718× | fma-def_binary32 |
| 560× | exp-diff_binary32 |
| 512× | exp-sum_binary32 |
| 448× | sub-neg_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 35 |
| 1 | 53 | 33 |
| 2 | 145 | 31 |
| 3 | 532 | 29 |
| 4 | 2119 | 29 |
| 5 | 4431 | 29 |
| 6 | 4975 | 29 |
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.1b | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))) |
| 0.1b | (*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
Compiled 160 to 112 computations (30% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))) |
| ✓ | 0.1b | (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
| ✓ | 7.7b | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
| ✓ | 7.7b | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
4 calls:
| 243.0ms | (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))) |
| 34.0ms | (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
| 14.0ms | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
| 14.0ms | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
| 1× | rewrite-expression-head |
| 95× | *-un-lft-identity_binary32 |
| 57× | times-frac_binary32 |
| 49× | prod-diff_binary32 |
| 45× | add-sqr-sqrt_binary32 |
| 43× | add-cube-cbrt_binary32 |
4 calls:
| 27.0ms | (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))) |
| 9.0ms | (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
| 4.0ms | (/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
| 4.0ms | (/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
| 1× | egg-herbie |
| 963× | times-frac_binary32 |
| 573× | fma-neg_binary32 |
| 137× | associate-*l*_binary32 |
| 117× | associate-/l*_binary32 |
| 112× | associate-*l/_binary32 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 305 | 6557 |
| 1 | 729 | 5637 |
| 2 | 2621 | 5212 |
| 3 | 4950 | 5212 |
| 4 | 5167 | 5212 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 229 | 0 | 229 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 229 | 2 | 231 |
| Status | Error | Program |
| ✓ | 0.1b | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))) |
| ▶ | 0.1b | (*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
Compiled 8673 to 3837 computations (55.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
| ✓ | 0.1b | (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) |
| ✓ | 0.1b | (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| ✓ | 0.1b | (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) |
4 calls:
| 143.0ms | (*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
| 55.0ms | (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| 46.0ms | (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) |
| 11.0ms | (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) |
| 1× | rewrite-expression-head |
| 44× | add-sqr-sqrt_binary32 |
| 39× | *-un-lft-identity_binary32 |
| 35× | add-cube-cbrt_binary32 |
| 28× | exp-sum_binary32 |
| 27× | prod-diff_binary32 |
4 calls:
| 13.0ms | (*.f32 (/.f32 1/2 v) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
| 5.0ms | (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| 3.0ms | (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) |
| 0.0ms | (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) |
| 1× | egg-herbie |
| 392× | times-frac_binary32 |
| 288× | associate-/l*_binary32 |
| 278× | associate-*r*_binary32 |
| 275× | associate-+r+_binary32 |
| 243× | fma-def_binary32 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 441 | 11185 |
| 1 | 1203 | 10395 |
| 2 | 5156 | 10395 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 233 | 4 | 237 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 234 | 5 | 239 |
| Status | Error | Program |
| 3.0b | (*.f32 (/.f32 1/2 v) (pow.f32 (exp.f32 (+.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) (-.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) | |
| ✓ | 0.1b | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))) |
| 12.3b | (*.f32 (*.f32 1/2 (/.f32 (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) v)) (exp.f32 (fma.f32 (neg.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))))) | |
| ▶ | 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) (*.f32 (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) |
| 0.1b | (*.f32 (/.f32 1/2 v) (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) |
Compiled 11285 to 6508 computations (42.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) | |
| 0.1b | (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) | |
| ✓ | 0.3b | (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) |
| ✓ | 0.3b | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) |
2 calls:
| 30.0ms | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) |
| 22.0ms | (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) |
| 1× | rewrite-expression-head |
| 42× | times-frac_binary32 |
| 34× | *-un-lft-identity_binary32 |
| 34× | add-sqr-sqrt_binary32 |
| 34× | add-cube-cbrt_binary32 |
| 27× | sqrt-prod_binary32 |
2 calls:
| 6.0ms | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) |
| 4.0ms | (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) |
| 1× | egg-herbie |
| 989× | div-sub_binary32 |
| 790× | fma-neg_binary32 |
| 618× | unswap-sqr_binary32 |
| 401× | associate-/l*_binary32 |
| 394× | distribute-rgt-neg-out_binary32 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 107 | 1619 |
| 1 | 188 | 1483 |
| 2 | 407 | 1479 |
| 3 | 839 | 1479 |
| 4 | 1162 | 1479 |
| 5 | 1247 | 1479 |
| 6 | 1671 | 1479 |
| 7 | 2070 | 1479 |
| 8 | 2224 | 1479 |
| 9 | 2680 | 1479 |
| 10 | 3879 | 1479 |
| 11 | 3730 | 1479 |
| 12 | 5295 | 1479 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 176 | 1 | 177 |
| Fresh | 1 | 2 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 177 | 5 | 182 |
| Status | Error | Program |
| 3.0b | (*.f32 (/.f32 1/2 v) (pow.f32 (exp.f32 (+.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) (-.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) | |
| ✓ | 0.1b | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))) |
| 12.3b | (*.f32 (*.f32 1/2 (/.f32 (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) v)) (exp.f32 (fma.f32 (neg.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))))) | |
| ✓ | 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) (*.f32 (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) |
| ▶ | 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) (*.f32 (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) |
Compiled 8961 to 5450 computations (39.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| 0.1b | (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) | |
| 0.3b | (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) | |
| 0.3b | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) |
1 calls:
| 69.0ms | (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| 1× | rewrite-expression-head |
| 14× | unpow-prod-up_binary32 |
| 12× | *-un-lft-identity_binary32 |
| 12× | add-sqr-sqrt_binary32 |
| 10× | add-cube-cbrt_binary32 |
| 9× | prod-diff_binary32 |
1 calls:
| 8.0ms | (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) |
| 1× | egg-herbie |
| 782× | fma-def_binary32 |
| 252× | times-frac_binary32 |
| 220× | associate-/l/_binary32 |
| 167× | associate-*r*_binary32 |
| 166× | associate-/l*_binary32 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 262 | 4140 |
| 1 | 685 | 4037 |
| 2 | 2826 | 3929 |
| 3 | 4927 | 3929 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 190 | 1 | 191 |
| Fresh | 0 | 2 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 191 | 5 | 196 |
| Status | Error | Program |
| 3.0b | (*.f32 (/.f32 1/2 v) (pow.f32 (exp.f32 (+.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))) (-.f32 (sqrt.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)) (sqrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) | |
| ✓ | 0.1b | (exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))) |
| 0.1b | (*.f32 (*.f32 (cbrt.f32 1/2) (/.f32 (cbrt.f32 1/2) (sqrt.f32 v))) (*.f32 (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) (pow.f32 (E.f32) (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) | |
| 12.3b | (*.f32 (*.f32 1/2 (/.f32 (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) v)) (exp.f32 (fma.f32 (neg.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (*.f32 (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) (cbrt.f32 (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))))) | |
| ✓ | 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (sqrt.f32 v)) (*.f32 (/.f32 (cbrt.f32 1/2) (sqrt.f32 v)) (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))))) |
Compiled 9533 to 5658 computations (40.6% saved)
Total 0.1b remaining (52.1%)
Threshold costs 0.1b (52.1%)
Compiled 18246 to 12913 computations (29.2% saved)
| 1× | egg-herbie |
| 9× | +-commutative_binary32 |
| 7× | *-commutative_binary32 |
| 7× | sub-neg_binary32 |
| 5× | neg-sub0_binary32 |
| 5× | neg-mul-1_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 35 |
| 1 | 31 | 35 |
| 2 | 42 | 35 |
| 3 | 54 | 35 |
| 4 | 62 | 35 |
| 5 | 67 | 35 |
| 6 | 69 | 35 |
| 7 | 67 | 35 |
(sort sinTheta_i sinTheta_O)
(sort cosTheta_i cosTheta_O)
Compiled 402 to 271 computations (32.6% saved)
Loading profile data...