Time bar (total: 11.1s)
| 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.6% | 0.9% | 98.5% | 11 |
| 0.6% | 0.9% | 98.5% | 12 |
| 0.6% | 0.9% | 98.5% | 13 |
| 0.6% | 0.9% | 98.5% | 14 |
Compiled 69 to 51 computations (26.1% saved)
| 1× | intervals |
(sort cosTheta_i cosTheta_O)
(sort sinTheta_i sinTheta_O)
| 32.0ms | 256× | body | 128 | valid |
| 14.0ms | 259× | pre | 128 | true |
| 0.0ms | 3× | body | 128 | nan |
Compiled 104 to 78 computations (25% 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 | (*.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 | (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))))) |
Compiled 160 to 112 computations (30% 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.0b | (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))) |
| ✓ | 0.0b | (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:
| 133.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))))) |
| 51.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)))) |
| 41.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:
| 19.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)))) |
| 12.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))))) |
| 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 (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 232 | 5 | 237 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 234 | 5 | 239 |
| Status | Error | Program |
| 0.1b | (*.f32 (sqrt.f32 (/.f32 1/2 v)) (*.f32 (sqrt.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 (/.f32 1 (sqrt.f32 v)) (*.f32 (/.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 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (*.f32 (/.f32 1/2 (cbrt.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 1/2 v) (sqrt.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)))))) (sqrt.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)))))) | |
| ▶ | 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 11227 to 6484 computations (42.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (cbrt.f32 v) |
| ✓ | 0.2b | (/.f32 (cbrt.f32 1/2) (cbrt.f32 v)) |
| ✓ | 0.3b | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| ✓ | 0.5b | (*.f32 (cbrt.f32 v) (cbrt.f32 v)) |
4 calls:
| 82.0ms | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| 55.0ms | (/.f32 (cbrt.f32 1/2) (cbrt.f32 v)) |
| 41.0ms | (*.f32 (cbrt.f32 v) (cbrt.f32 v)) |
| 32.0ms | (cbrt.f32 v) |
| 1× | rewrite-expression-head |
| 61× | cbrt-prod_binary32 |
| 49× | add-sqr-sqrt_binary32 |
| 41× | *-un-lft-identity_binary32 |
| 41× | add-cube-cbrt_binary32 |
| 37× | times-frac_binary32 |
4 calls:
| 7.0ms | (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| 6.0ms | (/.f32 (cbrt.f32 1/2) (cbrt.f32 v)) |
| 5.0ms | (*.f32 (cbrt.f32 v) (cbrt.f32 v)) |
| 1.0ms | (cbrt.f32 v) |
| 1× | egg-herbie |
| 665× | unswap-sqr_binary32 |
| 517× | associate-/l*_binary32 |
| 464× | associate-*r*_binary32 |
| 325× | log-prod_binary32 |
| 304× | fma-def_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 169 | 2825 |
| 1 | 308 | 2303 |
| 2 | 958 | 2240 |
| 3 | 2963 | 2209 |
| 4 | 4624 | 2209 |
| 5 | 5144 | 2209 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 235 | 3 | 238 |
| Fresh | 1 | 3 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 237 | 6 | 243 |
| Status | Error | Program |
| 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))) (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (sqrt.f32 (/.f32 1/2 v)) (*.f32 (sqrt.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)))))) | |
| 24.5b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (log.f32 (exp.f32 (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (*.f32 (/.f32 1/2 (cbrt.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 1/2 v) (sqrt.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)))))) (sqrt.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)))))) | |
| ▶ | 0.1b | (*.f32 (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 9925 to 5609 computations (43.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.2b | (/.f32 (cbrt.f32 1/2) (cbrt.f32 v)) | |
| ✓ | 0.3b | (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)) |
| ✓ | 2.7b | (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) |
| ✓ | 3.4b | (pow.f32 v 2/3) |
3 calls:
| 41.0ms | (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)) |
| 40.0ms | (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) |
| 25.0ms | (pow.f32 v 2/3) |
| 1× | rewrite-expression-head |
| 87× | unpow-prod-down_binary32 |
| 77× | times-frac_binary32 |
| 53× | *-un-lft-identity_binary32 |
| 53× | add-sqr-sqrt_binary32 |
| 53× | add-cube-cbrt_binary32 |
3 calls:
| 6.0ms | (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)) |
| 5.0ms | (pow.f32 v 2/3) |
| 0.0ms | (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) |
| 1× | egg-herbie |
| 526× | times-frac_binary32 |
| 421× | fma-def_binary32 |
| 396× | associate-/l*_binary32 |
| 317× | associate-/r*_binary32 |
| 280× | fma-neg_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 209 | 3505 |
| 1 | 280 | 3152 |
| 2 | 733 | 2977 |
| 3 | 3315 | 2900 |
| 4 | 4512 | 2900 |
| 5 | 4936 | 2900 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 276 | 0 | 276 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 276 | 6 | 282 |
| Status | Error | Program |
| 0.1b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))) (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (sqrt.f32 (/.f32 1/2 v)) (*.f32 (sqrt.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)))))) | |
| 24.5b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (log.f32 (exp.f32 (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (*.f32 (/.f32 1/2 (cbrt.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 1/2 v) (sqrt.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)))))) (sqrt.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)))))) | |
| ✓ | 0.1b | (*.f32 (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 12029 to 8132 computations (32.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (cbrt.f32 v) | |
| ✓ | 0.3b | (/.f32 1/2 (cbrt.f32 v)) |
| ✓ | 0.3b | (/.f32 1 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| 0.5b | (*.f32 (cbrt.f32 v) (cbrt.f32 v)) |
2 calls:
| 75.0ms | (/.f32 1 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| 55.0ms | (/.f32 1/2 (cbrt.f32 v)) |
| 1× | rewrite-expression-head |
| 21× | times-frac_binary32 |
| 19× | *-un-lft-identity_binary32 |
| 19× | add-sqr-sqrt_binary32 |
| 19× | add-cube-cbrt_binary32 |
| 15× | add-exp-log_binary32 |
2 calls:
| 5.0ms | (/.f32 1 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) |
| 3.0ms | (/.f32 1/2 (cbrt.f32 v)) |
| 1× | egg-herbie |
| 769× | fma-neg_binary32 |
| 490× | times-frac_binary32 |
| 395× | log-prod_binary32 |
| 287× | unswap-sqr_binary32 |
| 235× | associate-/l*_binary32 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 125 | 1298 |
| 1 | 208 | 1144 |
| 2 | 377 | 1072 |
| 3 | 700 | 1072 |
| 4 | 2157 | 996 |
| 5 | 2707 | 996 |
| 6 | 4583 | 996 |
| 7 | 5180 | 996 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 217 | 2 | 219 |
| Fresh | 2 | 2 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 220 | 5 | 225 |
| Status | Error | Program |
| 24.5b | (*.f32 (/.f32 (*.f32 (cbrt.f32 1/2) (cbrt.f32 1/2)) (log.f32 (exp.f32 (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (expm1.f32 (log1p.f32 (pow.f32 (/.f32 1 v) 2/3))) (*.f32 (/.f32 1/2 (cbrt.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)) (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))) (*.f32 (cbrt.f32 (sqrt.f32 v)) (cbrt.f32 (sqrt.f32 v))))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 (*.f32 (pow.f32 (cbrt.f32 (cbrt.f32 v)) 5) (cbrt.f32 (cbrt.f32 v)))) (*.f32 (/.f32 1/2 (cbrt.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 (expm1.f32 (log1p.f32 (/.f32 (pow.f32 (cbrt.f32 1/2) 2) (pow.f32 v 2/3)))) (*.f32 (/.f32 (cbrt.f32 1/2) (cbrt.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 7517 to 3727 computations (50.4% saved)
Total 0.1b remaining (53.5%)
Threshold costs 0.1b (53.5%)
Compiled 64053 to 45176 computations (29.5% saved)
| 1× | egg-herbie |
| 3× | *-commutative_binary32 |
| 2× | +-commutative_binary32 |
| 2× | sub-neg_binary32 |
| 1× | neg-sub0_binary32 |
| 1× | neg-mul-1_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 44 |
| 1 | 30 | 44 |
| 2 | 34 | 44 |
| 3 | 36 | 44 |
| 4 | 37 | 44 |
| 5 | 36 | 44 |
(sort sinTheta_i sinTheta_O)
(sort cosTheta_i cosTheta_O)
Compiled 170 to 125 computations (26.5% saved)
| 1× | intervals |
| 1.1s | 8000× | body | 128 | valid |
| 462.0ms | 8139× | pre | 128 | true |
| 17.0ms | 139× | body | 128 | nan |
Compiled 306 to 220 computations (28.1% saved)
Loading profile data...