I have no idea about the formula but in the age-old "answering something you did not ask" tradition I would mention that you can easily check the freshness of fixer with a piece of undeveloped film. A new fixer should clear a film in about 30 seconds. If you get substantially longer times, toss it.
On that page it also says,"This solution should work well for modern rapid fixers based on Ammonium Thiosulphate, but for fix formulae based on Sodium Thiosulphate you may need to double the amount of Potassium Iodide."