Stav dette: Hadamard expansions and hyperasymptotic evaluation