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