Is there any statistics on processing time of printf statement?
If the printf() output is going through a UART/serial port, the time taken for the UART to transmit characters will probably be the slowest part of the operation by far.  Converting floating point values to an ASCII string may also take significant time.