how can i split a string into tokens?,"['x', '+', '13', '.', '5', '*', '10', 'x', '-', '4', 'e', '1']"