most efficient way to split strings in python,"re.split('\\||<>', input)"