How to format a number of picoseconds in a human-readable unit using the FORMAT_PICO_TIME() function?

FORMAT_PICO_TIME(con) is a MySQL built-in function that converts a number of picoseconds in a human-readable unit of ps, ns, ms, s, min, h, or d. For example:

SELECT FORMAT_PICO_TIME(9), FORMAT_PICO_TIME(9*1000), FORMAT_PICO_TIME(9*1000*1000);
  -- +---------------------+--------------------------+-------------------------------+
  -- | FORMAT_PICO_TIME(9) | FORMAT_PICO_TIME(9*1000) | FORMAT_PICO_TIME(9*1000*1000) |
  -- +---------------------+--------------------------+-------------------------------+
  -- |   9 ps              | 9.00 ns                  | 9.00 us                       |
  -- +---------------------+--------------------------+-------------------------------+

SELECT FORMAT_PICO_TIME(9*POW(1000,3)), FORMAT_PICO_TIME(9*POW(1000,4));
  -- +---------------------------------+---------------------------------+
  -- | FORMAT_PICO_TIME(9*POW(1000,3)) | FORMAT_PICO_TIME(9*POW(1000,4)) |
  -- +---------------------------------+---------------------------------+
  -- | 9.00 ms                         | 9.00 s                          |
  -- +---------------------------------+---------------------------------+

SELECT FORMAT_PICO_TIME(9*POW(1000,4)*60), FORMAT_PICO_TIME(9*POW(1000,4)*60*60);
  -- +------------------------------------+---------------------------------------+
  -- | FORMAT_PICO_TIME(9*POW(1000,4)*60) | FORMAT_PICO_TIME(9*POW(1000,4)*60*60) |
  -- +------------------------------------+---------------------------------------+
  -- | 9.00 min                           | 9.00 h                                |
  -- +------------------------------------+---------------------------------------+

SELECT FORMAT_PICO_TIME(9*POW(1000,4)*60*60*24);
  -- +------------------------------------------+
  -- | FORMAT_PICO_TIME(9*POW(1000,4)*60*60*24) |
  -- +------------------------------------------+
  -- | 9.00 d                                   |
  -- +------------------------------------------+

Reference information of the FORMAT_PICO_TIME() function:

FORMAT_PICO_TIME(picoseconds): str
  Converts a number of picoseconds in a human-readable unit of ps, ns, ms, 
  s, min, h, or d.

Arguments, return value and availability:
  picoseconds: Required. The number of picoseconds to be converted.
  str: Return value. The converted number in a human-readable unit.
  Available since MySQL 8.0.

⇒ FROM_DAYS() - Converting Days to Date

⇐ EXTRACT() - Extracting Datetime Component

⇑ MySQL Functions on Date and Time

⇑⇑ MySQL Function References