[2306.14197] Computing the matrix exponential with the double exponential formula