If you are buying extra service time credits, that is not tax deductible and is not reported on your tax return. Instead, because you are buying time with after-tax money, a portion of your pension will be tax-free when you retire. This will be calculated by your employer and reported on your 1099-R when you begin receiving your pension.