Musk said he was chainsawing government spending. It was more like a trim