No. | When | Extended star conversion | After conversion | Got smaller |
| 0 mod 9 |
|
|
|
1 | 9 | None because of the base case |
|
|
2 | 72t + 45 | E[2, −4] y = x/12 − 3/4 | 6t + 3 | 72t + 45 > 6t + 3 |
3 | 216t + 81 | DE[3, 0, −4] y = x/18 − 3/2 | 12t + 3 | 216t + 81 > 12t + 3 |
4 | 216t + 153 | AE[6, −2, −4] y = x/9 − 8 | 24t + 9 | 216t + 153 > 24t + 9 |
5 | 216t + 225 | FE[5, 0, −4] y = 2x/9 − 5 | 48t + 45 | 216t + 225 > 48t + 45 |
6 | 108t + 27 | CF[4, 1, −2] y = 8x/9 − 3 | 96t + 21 | 108t + 27 > 96t + 21 |
7 | 108t + 63 | BF[1, 3, −2] y = 4x/9 − 1 | 48t + 27 | 108t + 63 > 48t + 27 |
8 | 108t + 99 | EF[2, 1, −2] y = 2x/9 − 1 | 24t + 21 | 108t + 99 > 24t + 21 |
| 6 mod 9 |
|
|
|
9 | 18t + 15 | C[4, −4] y = x/3 − 2 | 6t + 3 | 18t + 15 > 6t + 3 |
| 3 mod 9 |
|
|
|
10 | 3 | None because of the base case |
|
|
11 | 36t + 21 | B[1, −2] y = x/6 − 1/2 | 6t + 3 | 36t + 21 > 6t + 3 |
12 | 108t + 39 | DB[3, −1, −2] y = x/9 − 4/3 | 12t + 3 | 108t + 39 > 12t + 3 |
13 | 108t + 75 | AB[6, −3, −2] y = 2x/9 − 23/3 | 24t + 9 | 108t + 75 > 24t + 9 |
14 | 108t + 111 | FB[5, −1, −2] y = 4x/9 − 13/3 | 48t + 45 | 108t + 111 > 48t + 45 |