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