DateTime to string, in F#, can this be optimized further?

Question

I have a system that does some simulations and outputs a lot of log information with timestamps.

I was surprised to see that DateTime.ToString() was quite expensive in th