corporate tax in the cost of debt

For the cost of debt we always take the after-tax interest - without exception. When determining the market value of debt the tax is irrelevant because it is investors who determine the market value, and they are not affected by company tax.

You are welcome, and a Merry Christmas and a Happy New Year to you also :-)