Преобразование pl.Duration в человеческую строку ⇐ Python

[Anonymous]

При печати кадра полярных данных pl.Duration по умолчанию печатаются в «человеческом формате». Какая функция используется для этого преобразования? Можно ли его использовать? Попытка "{}".format() возвращает что-то читабельное, но не такое хорошее.
import polars as pl

data = {"end": ["2024/11/13 10:28:00",
"2024/10/10 10:10:10",
"2024/09/13 09:12:29",
"2024/08/31 14:57:02",
],
"start": ["2024/11/13 10:27:33",
"2024/10/10 10:01:01",
"2024/09/13 07:07:07",
"2024/08/25 13:48:28",
]
}

df = pl.DataFrame(data)
df = df.with_columns(
pl.col("end").str.to_datetime(),
pl.col("start").str.to_datetime(),
)

df = df.with_columns(
duration = pl.col("end") - pl.col("start"),
)
df = df.with_columns(
pl.col("duration").map_elements(lambda t: "{}".format(t), return_dtype=pl.String()).alias("duration_str")
)
print(df)

shape: (4, 4)
┌─────────────────────┬─────────────────────┬──────────────┬─────────────────┐
│ end ┆ start ┆ duration ┆ duration_str │
│ --- ┆ --- ┆ --- ┆ --- │
│ datetime[μs] ┆ datetime[μs] ┆ duration[μs] ┆ str │
╞═════════════════════╪═════════════════════╪══════════════╪═════════════════╡
│ 2024-11-13 10:28:00 ┆ 2024-11-13 10:27:33 ┆ 27s ┆ 0:00:27 │
│ 2024-10-10 10:10:10 ┆ 2024-10-10 10:01:01 ┆ 9m 9s ┆ 0:09:09 │
│ 2024-09-13 09:12:29 ┆ 2024-09-13 07:07:07 ┆ 2h 5m 22s ┆ 2:05:22 │
│ 2024-08-31 14:57:02 ┆ 2024-08-25 13:48:28 ┆ 6d 1h 8m 34s ┆ 6 days, 1:08:34 │
└─────────────────────┴─────────────────────┴──────────────┴─────────────────┘


Подробнее здесь: https://stackoverflow.com/questions/791 ... man-string