Hardi vormel