I stand corrected. (TAS/87.1)^2 it is then. close enough for govt. work anyway.
btw this was done to death a while back, don't know if a search will find it.
The two formulae (mach and TAS) are of course just different presentations of the same thing.