convert time stamp format to redex
time_format (str) – datetime timestamp format
redex (str) – redex format for timestamp