Title: An analysis of some machine tool replacement formulas