Fix repeat sympify