Simple way to convert HH:MM:SS (hours:minutes:seconds.split seconds) to seconds

Try awk. As a bonus, you can keep the split seconds.

echo "00:20:40.25" | awk -F: '{ print ($1 * 3600) + ($2 * 60) + $3 }'