Mostriamo come la complessità delle formule di Hassard, Kazarinoff e Wan (1981) riguardanti la biforcazione di Hopfin sistemi di equazioni differenziali ordinarie possa essere ridotta usando una opportuna tecnica formale nel calcolo delle derivate parziali di ordine superiore richiesto dal detto metodo. We outline how the complexity of the formulae by Hassard, Kazarinoff and Wan (1981) concerning the Hopf bifurcation in systems of ordinary differential equations can be reduced computing the pertinent higher-order partial derivatives in a suitable formal way